From 7f59465dad8be7fa04b2e6b4ed0c49c38cd9e532 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Mon, 4 Nov 2013 18:42:56 +0100
Subject: Reinstate hashconsing of instances, faster globally.

---
 kernel/univ.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/univ.ml b/kernel/univ.ml
index f156e6028e..8047a36f48 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -1556,8 +1556,6 @@ struct
 	  let h = !accu land 0x3FFFFFFF in
 	    (a, h)
       end
-
-  let hcons x = x
 	      
   let empty = hcons [||]
 
-- 
cgit v1.2.3