From 62175a1b14c8db7d92ea49d7442434ea60c4d1a1 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 30 Jul 2014 14:24:13 +0200
Subject: Avoid hconsing instances during appends and conversions from/to
 arrays.

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

(limited to 'kernel')

diff --git a/kernel/univ.ml b/kernel/univ.ml
index fc060940cb..9fc067394b 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -1770,9 +1770,9 @@ struct
   let append x y =
     if Array.length x = 0 then y
     else if Array.length y = 0 then x 
-    else hcons (Array.append x y)
+    else Array.append x y
 
-  let of_array a = hcons a
+  let of_array a = a
 
   let to_array a = a
 
-- 
cgit v1.2.3