X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils%2Fhcons.ml;h=cc7327aeec4e33c87020713481acbfd2a031dd7e;hp=3fc3e71a9de341af365f327cab962a3df0b99ef5;hb=1972639ed4bb0aab7136e3f09d6a46398afec709;hpb=f5e7e53901bfc30b6234e6026a2c984bfceff694 diff --git a/src/utils/hcons.ml b/src/utils/hcons.ml index 3fc3e71..cc7327a 100644 --- a/src/utils/hcons.ml +++ b/src/utils/hcons.ml @@ -14,7 +14,7 @@ (***********************************************************************) (* - Time-stamp: + Time-stamp: *) include Hcons_sig @@ -51,7 +51,7 @@ struct 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