# HG changeset patch
# User desharna
# Date 1634636911 -7200
# Node ID 3ec9cafab99090715c7c6d285840e4de7471b816
# Parent  f55c632a1fe8d5a6f36348a544b94a710b4d7a41
proper veriT --max-time option

diff -r f55c632a1fe8 -r 3ec9cafab990 src/HOL/Tools/SMT/smt_systems.ML
--- a/src/HOL/Tools/SMT/smt_systems.ML	Tue Oct 19 11:29:02 2021 +0200
+++ b/src/HOL/Tools/SMT/smt_systems.ML	Tue Oct 19 11:48:31 2021 +0200
@@ -115,7 +115,7 @@
     Verit_Proof.veriT_current_strategy (Context.Proof ctxt) @
     (case SMT_Config.get_timeout ctxt of
       NONE => []
-    | SOME t => ["--max-time " ^ string_of_int (Time.toMilliseconds t)])
+    | SOME t => ["--max-time=" ^ string_of_int (Time.toMilliseconds t)])
 in
 
 val veriT: SMT_Solver.solver_config = {