From bd0e8ce51ed8eb8359d198fb5d14d14381847200 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 4 Apr 2014 20:21:06 +0200
Subject: Fixing coqchk. It was my fault, I misused canonical and user
 equalities when defining cache hash tables in Closure. Why it was working in
 3.12 is a mystery to me.

---
 kernel/closure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/closure.ml b/kernel/closure.ml
index 55b0384823..7b94ecfb85 100644
--- a/kernel/closure.ml
+++ b/kernel/closure.ml
@@ -214,7 +214,7 @@ struct
   let equal = Names.eq_id_key
   open Hashset.Combine
   let hash = function
-  | ConstKey c -> combinesmall 1 (Constant.hash c)
+  | ConstKey c -> combinesmall 1 (Constant.UserOrd.hash c)
   | VarKey id -> combinesmall 2 (Id.hash id)
   | RelKey i -> combinesmall 3 (Int.hash i)
 end
-- 
cgit v1.2.3