From 73ea4fea303979c1edd6175ad71888447ec4874e Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Tue, 22 Nov 2016 16:58:02 +0100 Subject: [PATCH] Removed useless check option in test_api --- tests/test_api.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/tests/test_api.ml b/tests/test_api.ml index 346e483e..02483d34 100644 --- a/tests/test_api.ml +++ b/tests/test_api.ml @@ -11,7 +11,6 @@ module T = Tseitin.Make(F) let (|>) x f = f x -let p_check = ref false let time_limit = ref 300. let size_limit = ref 1000_000_000. @@ -28,8 +27,6 @@ let set_flag opt arg flag l = let usage = "Usage : test_api [options]" let argspec = Arg.align [ - "-check", Arg.Set p_check, - " Build, check and print the proof (if output is set), if unsat"; "-v", Arg.Int (fun i -> Log.set_debug i), " Sets the debug verbose level"; ]