From b60fa57509807639ec5bb968b69ff931f82b46e9 Mon Sep 17 00:00:00 2001
From: Albin Coquereau <6535385+ACoquereau@users.noreply.github.com>
Date: Thu, 25 Feb 2021 10:06:57 +0100
Subject: [PATCH] Fix new options in output section in the manpage

---
 src/lib/reasoners/satml_frontend.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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