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

remove debug

Browse source
This commit is contained in:
Simon Cruanes 2021-03-29 12:59:24 -04:00
parent 4170224a37
commit 8558719cc8
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-data/Sidekick_th_data.ml
View file

@ -646,7 +646,6 @@ module Make(A : ARG) : S with module A = A = struct
(fun k->k "(@[th-data.final-check.model.decide-cstor@ %a@])" T.pp t_eq_cstor); (fun k->k "(@[th-data.final-check.model.decide-cstor@ %a@])" T.pp t_eq_cstor);
let lit = SI.mk_lit solver acts t_eq_cstor in let lit = SI.mk_lit solver acts t_eq_cstor in
SI.push_decision solver acts lit; SI.push_decision solver acts lit;
Printf.printf ".%!";
); );
() ()