From 6b2ec938010c50dae3ec6c87ff8ea7f2a4012b92 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Wed, 17 Dec 2014 19:12:11 +0100 Subject: Ensuring the good invariants of hashcons table generation in the API. --- kernel/sorts.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/sorts.ml') diff --git a/kernel/sorts.ml b/kernel/sorts.ml index bfcdc0b4d..1462aad91 100644 --- a/kernel/sorts.ml +++ b/kernel/sorts.ml @@ -104,4 +104,4 @@ module Hsorts = let hash = Hashtbl.hash (** FIXME *) end) -let hcons = Hashcons.simple_hcons Hsorts.generate hcons_univ +let hcons = Hashcons.simple_hcons Hsorts.generate Hsorts.hcons hcons_univ -- cgit v1.2.3