From 5816889f48f7498017a740c6e501a1fb8aaafccf Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 26 Mar 2021 12:14:06 +0100
Subject: Similar fix for native compilation.

---
 kernel/nativelambda.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'kernel/nativelambda.ml')

diff --git a/kernel/nativelambda.ml b/kernel/nativelambda.ml
index f3b483467d..aa30a01134 100644
--- a/kernel/nativelambda.ml
+++ b/kernel/nativelambda.ml
@@ -381,10 +381,7 @@ let makeblock env ind tag nparams arity args =
     Lmakeblock(prefix, ind, tag, args)
 
 let makearray args def =
-  try
-    let p = Array.map get_value args in
-    Lval (Nativevalues.parray_of_array p (get_value def))
-  with Not_found -> Lparray (args, def)
+  Lparray (args, def)
 
 (* Translation of constants *)
 
-- 
cgit v1.2.3