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