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.

---
 checker/univ.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'checker')

diff --git a/checker/univ.ml b/checker/univ.ml
index a895021f02..323a373ec5 100644
--- a/checker/univ.ml
+++ b/checker/univ.ml
@@ -432,7 +432,7 @@ struct
       include Hashcons.Make(ExprHash)
 
       let make =
-	Hashcons.simple_hcons generate Level.hcons
+	Hashcons.simple_hcons generate hcons Level.hcons
       let hash = ExprHash.hash
       let uid = hash
       let equal x y = x == y ||
@@ -1242,7 +1242,7 @@ struct
 
   module HInstance = Hashcons.Make(HInstancestruct)
 
-  let hcons = Hashcons.simple_hcons HInstance.generate Level.hcons
+  let hcons = Hashcons.simple_hcons HInstance.generate HInstance.hcons Level.hcons
     
   let empty = hcons [||]
 
-- 
cgit v1.2.3