From 381081314e9f751e440ab29527ed3947e42681a0 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 16 Mar 2015 13:56:28 +0100
Subject: [PATCH] Removed some useless semi-colons

---
 solver/mcsolver.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/solver/mcsolver.ml b/solver/mcsolver.ml
index 6d0d51ae..c2cbb91b 100644
--- a/solver/mcsolver.ml
+++ b/solver/mcsolver.ml
@@ -844,7 +844,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
     try
       while true do
         begin try
-            search (to_int !n_of_conflicts) (to_int !n_of_learnts);
+            search (to_int !n_of_conflicts) (to_int !n_of_learnts)
           with
           | Restart ->
             n_of_conflicts := !n_of_conflicts *. env.restart_inc;
@@ -854,7 +854,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
             Th.if_sat (full_slice tag);
             if not !tag then raise Sat
         end
-      done;
+      done
     with
     | Sat -> ()