From e66a27229b94af94512e205e26f73931c1d25ead Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 26 Aug 2022 22:16:45 -0400
Subject: [PATCH] detail in printing

---
 src/smtlib/Process.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smtlib/Process.ml b/src/smtlib/Process.ml
index fd072a0d..b530f465 100644
--- a/src/smtlib/Process.ml
+++ b/src/smtlib/Process.ml
@@ -195,7 +195,7 @@ let solve ?gc:_ ?restarts:_ ?proof_file ?(pp_model = false) ?(check = false)
        );
     *)
     let t3 = Sys.time () in
-    Fmt.printf "@.sat@.";
+    Fmt.printf "sat@.";
     Fmt.printf "; (%.3f/%.3f/%.3f)@." (t1 -. start) (t2 -. t1) (t3 -. t2)
   | Solver.Unsat { unsat_step_id; unsat_core = _ } ->
     if check then
@@ -228,7 +228,7 @@ let solve ?gc:_ ?restarts:_ ?proof_file ?(pp_model = false) ?(check = false)
     | _ -> ());
 
     let t3 = Sys.time () in
-    Fmt.printf "@.unsat@.";
+    Fmt.printf "unsat@.";
     Fmt.printf "; (%.3f/%.3f/%.3f)@." (t1 -. start) (t2 -. t1) (t3 -. t2)
   | Solver.Unknown reas ->
     Fmt.printf "unknown@.";