From 076bb351257dfd3c605c010d95484f224bef5e56 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 10 Jul 2018 15:25:11 +0200
Subject: VM: don't duplicate projection narg information in lproj/kproj

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

(limited to 'kernel/cbytegen.ml')

diff --git a/kernel/cbytegen.ml b/kernel/cbytegen.ml
index 6677db2fd9..4613cd3214 100644
--- a/kernel/cbytegen.ml
+++ b/kernel/cbytegen.ml
@@ -492,8 +492,8 @@ let rec compile_lam env cenv lam sz cont =
 
   | Lval v -> compile_structured_constant cenv v sz cont
 
-  | Lproj (n,kn,arg) ->
-     compile_lam env cenv arg sz (Kproj (n,kn) :: cont)
+  | Lproj (p,arg) ->
+     compile_lam env cenv arg sz (Kproj p :: cont)
 
   | Lvar id -> pos_named id cenv :: cont
 
-- 
cgit v1.2.3