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

refactor: a debug msg

Browse source
This commit is contained in:
Simon Cruanes 2019-02-01 21:26:32 -06:00
parent 91389d2b5e
commit d95047b65a
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/Congruence_closure.ml
View file

@ -589,6 +589,8 @@ let pop_levels (self:t) n : unit =
Vec.iter (N.set_field N.field_is_pending false) self.pending; Vec.iter (N.set_field N.field_is_pending false) self.pending;
Vec.clear self.pending; Vec.clear self.pending;
Vec.clear self.combine; Vec.clear self.combine;
Log.debugf 15
(fun k->k "(@[cc.pop-levels %d@ :n-lvls %d@])" n (Backtrack_stack.n_levels self.undo));
Backtrack_stack.pop_levels self.undo n ~f:(fun f -> f()); Backtrack_stack.pop_levels self.undo n ~f:(fun f -> f());
() ()