Avoid hconsing instances during appends and conversions from/to arrays.

1 files changed, 2 insertions, 2 deletions

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