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

Typo

Browse source
This commit is contained in:
Guillaume Bury 2015-03-13 14:35:00 +01:00
parent 0050fdae3c
commit 5786e26705
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
solver/mcsolver.ml
View file

@ -512,7 +512,7 @@ module Make (L : Log_intf.S)(E : Expr_intf.S)
if init then init0 if init then init0
else make_clause name atoms size true (History [init0]) else make_clause name atoms size true (History [init0])
in in
L.debug 1 "New clause : %a" St.pp_clause init0; L.debug 1 "New clause : %a" St.pp_clause clause;
Proof.prove clause; Proof.prove clause;
attach_clause clause; attach_clause clause;
Vec.push env.clauses clause; Vec.push env.clauses clause;