From 5786e2670574e1b3c6d99f57544e2a48efaae432 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 13 Mar 2015 14:35:00 +0100
Subject: [PATCH] Typo

---
 solver/mcsolver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/solver/mcsolver.ml b/solver/mcsolver.ml
index b29be7d6..f1b981bd 100644
--- a/solver/mcsolver.ml
+++ b/solver/mcsolver.ml
@@ -512,7 +512,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
             if init then init0
             else make_clause name atoms size true (History [init0])
         in
-        L.debug 1 "New clause : %a" St.pp_clause init0;
+        L.debug 1 "New clause : %a" St.pp_clause clause;
         Proof.prove clause;
         attach_clause clause;
         Vec.push env.clauses clause;