Commit 10793049 authored by POTTIER Francois's avatar POTTIER Francois

Remove a call to [Error.errors()] at the end of [Invariant],

which I think was useless.
parent 73e70252
......@@ -793,11 +793,3 @@ let errorpeeker node =
let () =
Time.tick "Constructing the invariant"
(* ------------------------------------------------------------------------ *)
(* If any fatal error was signaled up to this point, stop now. *)
let () =
if Error.errors() then
exit 1
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment