From 27ccd367b23979348ad59b4b2c6dcd24dc52213f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 16 Aug 2022 23:34:08 -0400
Subject: [PATCH] fix output so benchpress can parse it

---
 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 f7f23471..6fd22930 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@.";