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

fix: remove debug statement in th-bool

Browse source
This commit is contained in:
Simon Cruanes 2019-06-07 16:18:01 -05:00
parent 8dcb67552e
commit d2bbc633bd
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/th-bool-static/Sidekick_th_bool_static.ml
View file

@ -156,7 +156,6 @@ module Make(A : ARG) : S with module A = A = struct
| B_ite _ | B_eq _ -> | B_ite _ | B_eq _ ->
Lit.atom self.tst t Lit.atom self.tst t
| B_equiv (a,b) -> | B_equiv (a,b) ->
Format.printf "@[cnf: equiv@ %a@ and %a@]@." T.pp a T.pp b;
let a = get_lit a in let a = get_lit a in
let b = get_lit b in let b = get_lit b in
let proxy = fresh_lit ~pre:"equiv_" self in let proxy = fresh_lit ~pre:"equiv_" self in