diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
index 8a91de42ac..f804acd49d 100644
--- a/src/lib/reasoners/satml_frontend.ml
+++ b/src/lib/reasoners/satml_frontend.ml
@@ -1097,9 +1097,8 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
              issue.@.@.";
           assert false
         end;
-        let is_gui = Options.get_is_gui() in
-        Options.Time.unset_timeout ~is_gui;
-        Options.Time.set_timeout ~is_gui (Options.get_timelimit ());
+        Options.Time.unset_timeout ();
+        Options.Time.set_timeout (Options.get_timelimit ());
         unsat_rec_prem env ~first_call:false
     end