From bb20fd408716dbaf8b6724047e25ea9a1d0d7611 Mon Sep 17 00:00:00 2001 From: Olivier Nicole Date: Mon, 27 Jan 2025 16:04:53 +0100 Subject: [PATCH] Improve reporting in Dynarray lin test By raising an exception rather than aborting the program. --- src/dynarray/lin_tests.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dynarray/lin_tests.ml b/src/dynarray/lin_tests.ml index 33680a0b..d27bcbef 100644 --- a/src/dynarray/lin_tests.ml +++ b/src/dynarray/lin_tests.ml @@ -10,7 +10,7 @@ module Dynarray_api = struct let get_check a i = let v = Dynarray.get a i in - if not (Obj.is_int (Obj.repr v)) then (Printf.eprintf "dummy found!\n%!"; exit 1) else v + if not (Obj.is_int (Obj.repr v)) then failwith "dummy found!" else v let api = (*let int_not_too_big = int_bound 2048 in*)