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/cbytecodes.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'kernel/cbytecodes.mli')

diff --git a/kernel/cbytecodes.mli b/kernel/cbytecodes.mli
index 9c289e87d9..f17a1e657e 100644
--- a/kernel/cbytecodes.mli
+++ b/kernel/cbytecodes.mli
@@ -88,8 +88,7 @@ type instruction =
   | Ksetfield of int                    (** accu[n] = sp[0] ; sp = pop sp *)
   | Kstop
   | Ksequence of bytecodes * bytecodes
-  | Kproj of int * Projection.Repr.t  (** index of the projected argument,
-                                            name of projection *)
+  | Kproj of Projection.Repr.t
   | Kensurestackcapacity of int
 
 (** spiwack: instructions concerning integers *)
-- 
cgit v1.2.3