simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Cleaned unused vec

Browse source
This commit is contained in:
Guillaume Bury 2015-11-24 16:09:59 +01:00
parent 3fd91d9751
commit a32d443b96
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
solver/internal.ml
View file

@ -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;