(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-04 22:39:39 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-18 00:16:08 CET by Kim Nguyen>
*)
include Hcons_sig
let dummy x = { id = Uid.dummy; hash = H.hash x; node = x }
let make x =
- let cell = { id = Uid.dummy; hash = H.hash x; node = x } in
+ let cell = dummy x in
try
T.find pool cell
with