From 312758ce1b7e676762c62e51d9f5aaaa34d71c89 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Mon, 9 Feb 2015 14:01:29 +0100
Subject: [PATCH] [bugfix] tag were not properly set when assuming new clauses

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

diff --git a/solver/solver.ml b/solver/solver.ml
index 296355cd..bed43a67 100644
--- a/solver/solver.ml
+++ b/solver/solver.ml
@@ -411,7 +411,7 @@ module Make (L : Log_intf.S)(F : Formula_intf.S)
         report_unsat init0;
       | a::b::_ ->
         let name = fresh_name () in
-        let clause = make_clause name atoms size (history <> History []) history in
+        let clause = make_clause ?tag name atoms size (history <> History []) history in
         Log.debug 10 "New clause : %a" St.pp_clause init0;
         attach_clause clause;
         Vec.push env.clauses clause;