From 4267210da9a03bdb33c022bb6302b3f969f505a4 Mon Sep 17 00:00:00 2001
From: Fardale <fardale+git@crans.org>
Date: Tue, 28 Apr 2020 22:26:20 +0200
Subject: [PATCH] CCArray: use raise_notrace instead of raise

---
 src/core/CCArray.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/CCArray.ml b/src/core/CCArray.ml
index ac237245..b0c1b780 100644
--- a/src/core/CCArray.ml
+++ b/src/core/CCArray.ml
@@ -201,7 +201,7 @@ exception Found
 
 let mem ?(eq = Stdlib.(=)) elt a =
   try
-    Array.iter (fun e -> if eq e elt then raise Found) a;
+    Array.iter (fun e -> if eq e elt then raise_notrace Found) a;
     false
   with Found -> true