Skip to content

Commit db20f01

Browse files
committed
Terminate is not counted as an error
1 parent cf58db2 commit db20f01

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

test/test_structured.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -176,6 +176,7 @@ let test_any_and_all_errors () =
176176
match
177177
run_op
178178
[
179+
(fun () -> raise Control.Terminate (* Not counted as an error *));
179180
raiser Not_found;
180181
(fun () -> Control.block ());
181182
raiser Exit;

0 commit comments

Comments
 (0)