From 7205996bf25a542224c815b38f92da0ffef76b5d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 14 Apr 2019 14:02:16 +0200
Subject: [native compiler] Remove unused universe argument in Lmakeblock

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

(limited to 'kernel/nativecode.ml')

diff --git a/kernel/nativecode.ml b/kernel/nativecode.ml
index c879cab9df..375f3184de 100644
--- a/kernel/nativecode.ml
+++ b/kernel/nativecode.ml
@@ -1274,7 +1274,7 @@ let ml_of_instance instance u =
 
   | Lint tag -> MLapp(MLprimitive Mk_int, [|MLint tag|])
 
-  | Lmakeblock (prefix,(cn,_u),_,args) ->
+  | Lmakeblock (prefix,cn,_,args) ->
      let args = Array.map (ml_of_lam env l) args in
      MLconstruct(prefix,cn,args)
   | Luint i -> MLapp(MLprimitive Mk_uint, [|MLuint i|])
-- 
cgit v1.2.3