diff options
Diffstat (limited to 'lib/hashcons.ml')
| -rw-r--r-- | lib/hashcons.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/hashcons.ml b/lib/hashcons.ml index 3a8a86e3e..72381ae2b 100644 --- a/lib/hashcons.ml +++ b/lib/hashcons.ml @@ -79,7 +79,9 @@ module Make (X : HashconsedType) = * sub-hcons functions. *) (* For non-recursive types it is quite easy. *) -let simple_hcons h u = h () u +let simple_hcons h u = + let h = h () in + fun x -> h u x (* For a recursive type T, we write the module of sig Comp with u equals * to (T -> T) * u0 |