From ad491f845f6fb3e88ff1169ac472f194d12306d2 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@inria.fr>
Date: Fri, 12 Apr 2019 08:38:06 +0200
Subject: Check again that veriT returns a zero exit code

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

(limited to 'src/verit')

diff --git a/src/verit/verit.ml b/src/verit/verit.ml
index 4d48d5b..2fd7d2d 100644
--- a/src/verit/verit.ml
+++ b/src/verit/verit.ml
@@ -189,7 +189,7 @@ let call_verit _ rt ro ra' rf' first lsmt =
     with End_of_file -> () in
 
   try
-    (* assert (exit_code = 0); *)
+    assert (exit_code = 0);
     assert_empty_warnings ();
     let res = import_trace ra' rf' logfilename (Some first) lsmt in
     close_in win; Sys.remove wname; res
-- 
cgit