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/constr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/constr.ml')

diff --git a/kernel/constr.ml b/kernel/constr.ml
index e757c5b560..a01a534eea 100644
--- a/kernel/constr.ml
+++ b/kernel/constr.ml
@@ -991,7 +991,7 @@ module Hsorts =
     end)
 
 (* let hcons_sorts = Hashcons.simple_hcons Hsorts.generate hcons_univ *)
-let hcons_caseinfo = Hashcons.simple_hcons Hcaseinfo.generate hcons_ind
+let hcons_caseinfo = Hashcons.simple_hcons Hcaseinfo.generate Hcaseinfo.hcons hcons_ind
 
 let hcons =
   hashcons
-- 
cgit v1.2.3