From 431d8fe4ac065fc8318f45cee1c1a537427e760c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 9 Feb 2019 16:17:15 -0600
Subject: [PATCH] small style change

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

diff --git a/src/smtlib/Process.ml b/src/smtlib/Process.ml
index 280f9d80..c01e816b 100644
--- a/src/smtlib/Process.ml
+++ b/src/smtlib/Process.ml
@@ -236,7 +236,8 @@ let check_smt_model (solver:Solver.Sat_solver.t) (hyps:_ Vec.t) (m:Model.t) : un
             S.Atom.pp a b Msat.pp_lbool sat_value
         ) else (
           Log.debugf 5
-            (fun k->k "(@[check-model@ :atom %a@ :model-val %B@ :no-sat-val@])" S.Atom.pp a b);
+            (fun k->k "(@[check-model@ :atom %a@ :model-val %B@ :sat-val %a@])"
+                S.Atom.pp a b Msat.pp_lbool sat_value);
         )
       | Some v ->
         Error.errorf "(@[check-model.error@ :atom %a@ :non-bool-value %a@])"