Fix interpretation_timelimit initialisation

OCamlPro · Mar 23, 2021 · b534dc9 · b534dc9
1 parent 202c768
commit b534dc9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
@@ -297,7 +297,7 @@ let mk_limit_opt age_bound fm_cross_limit timelimit_interpretation
   else
     let fm_cross_limit = Numbers.Q.from_string fm_cross_limit in
     let timelimit = set_limit timelimit 0. in
-    let timelimit_interpretation = set_limit timelimit_interpretation 1. in
+    let timelimit_interpretation = set_limit timelimit_interpretation 0. in
     set_age_bound age_bound;
     set_fm_cross_limit fm_cross_limit;
     set_timelimit_interpretation timelimit_interpretation;

diff --git a/src/lib/util/options.ml b/src/lib/util/options.ml
@@ -277,7 +277,8 @@ let age_bound = ref 50
 let fm_cross_limit = ref (Numbers.Q.from_int 10_000)
 let steps_bound = ref (-1)
 let timelimit = ref 0.
-let timelimit_interpretation = ref (if Sys.win32 then 0. else 1.)
+(* let timelimit_interpretation = ref (if Sys.win32 then 0. else 1.) *)
+let timelimit_interpretation = ref 0.
 let timelimit_per_goal = ref false
 
 let set_age_bound i = age_bound := i