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

remove debug msg

Browse source
This commit is contained in:
Simon Cruanes 2023-06-26 00:40:39 -04:00
parent 8d8ef4211b
commit 923cbec6e5
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-lra/sidekick_th_lra.ml
View file

@ -402,7 +402,6 @@ module Make (A : ARG) = (* : S with module A = A *) struct
(* we define these terms so their value in the model make sense *) (* we define these terms so their value in the model make sense *)
let le = as_linexp t |> LE.map ~f:recurse in let le = as_linexp t |> LE.map ~f:recurse in
Term.Tbl.add self.simp_defined t (box_t, le); Term.Tbl.add self.simp_defined t (box_t, le);
Log.debugf 50 (fun k -> k "COUCOU def %a as %a" Term.pp box_t LE.pp le);
let le_comb, le_const = LE.comb le, LE.const le in let le_comb, le_const = LE.comb le, LE.const le in
if A.Q.equal le_const A.Q.zero then if A.Q.equal le_const A.Q.zero then