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

forgot to pop before assume

Browse source
This commit is contained in:
Simon Cruanes 2016-07-27 17:58:15 +02:00
parent 563e9027e1
commit 3e9c0d3a1e
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/internal.ml
View file

@ -1146,6 +1146,7 @@ module Make
with Sat -> ()
let assume ?tag cnf =
if env.base_level > 0 then pop_assumptions ();
List.iter
(fun l ->
let atoms = List.rev_map atom l in