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

Browse source
This commit is contained in:
Simon Cruanes 2022-08-12 23:17:15 -04:00
parent 593b693caf
commit e99192869d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
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/core-logic/term.ml
View file

@ -446,7 +446,6 @@ module Make_ = struct
(* hashconsing + computing metadata + computing type (for new terms) *)
let rec make_ (store : store) view : term =
let e = { view; ty = T_ty_delayed ty_assert_false_; id = -1; flags = 0 } in
Log.debugf 50 (fun k -> k "term.make `%a`" pp_debug_with_ids e);
let e2 = Hcons.hashcons store.s_exprs e in
if e == e2 then (
(* new term, compute metadata *)