From 582530b9ee70498c01088bc2773c38944c9d9b5e Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Sun, 15 Mar 2015 20:42:16 +0100
Subject: [PATCH] Logging restarts

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

diff --git a/solver/mcsolver.ml b/solver/mcsolver.ml
index d0ad6a52..a60ff332 100644
--- a/solver/mcsolver.ml
+++ b/solver/mcsolver.ml
@@ -794,6 +794,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
         if nb_assigns() = St.nb_vars () (* env.nb_init_vars *) then raise Sat;
         if n_of_conflicts >= 0 && !conflictC >= n_of_conflicts then
           begin
+            L.debug 1 "Restarting...";
             env.progress_estimate <- progress_estimate();
             cancel_until 0;
             raise Restart