From a32d443b96de80581b8dd79c066a2128a4e9949e Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Tue, 24 Nov 2015 16:09:59 +0100
Subject: [PATCH] Cleaned unused vec

---
 solver/internal.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/solver/internal.ml b/solver/internal.ml
index d7afa95c..25c8f1e9 100644
--- a/solver/internal.ml
+++ b/solver/internal.ml
@@ -33,8 +33,6 @@ module Make (L : Log_intf.S)(St : Solver_types.S)
     (* all currently active clauses *)
     clauses_learnt : clause Vec.t;
     (* learnt clauses  *)
-    clauses_pushed : clause Vec.t;
-    (* clauses pushed by theories, i.e tautologies *)
 
     mutable unsat_conflict : clause option;
     (* conflict clause at decision level 0, if any *)
@@ -111,7 +109,6 @@ module Make (L : Log_intf.S)(St : Solver_types.S)
 
     clauses_hyps = Vec.make 0 dummy_clause;
     clauses_learnt = Vec.make 0 dummy_clause;
-    clauses_pushed = Vec.make 0 dummy_clause;
 
     th_head = 0;
     elt_head = 0;