From 4e2bd77d2c6a6d0791c2b30a1b7cb3524a148800 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 30 Aug 2020 11:05:46 +0200
Subject: Turn Ksequence into a unary opcode, as its binary structure was never
 used.

---
 kernel/vmbytecodes.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/vmbytecodes.mli')

diff --git a/kernel/vmbytecodes.mli b/kernel/vmbytecodes.mli
index 138778eac4..003a77ab78 100644
--- a/kernel/vmbytecodes.mli
+++ b/kernel/vmbytecodes.mli
@@ -54,7 +54,7 @@ type instruction =
   | Kfield of int                       (** accu = accu[n] *)
   | Ksetfield of int                    (** accu[n] = sp[0] ; sp = pop sp *)
   | Kstop
-  | Ksequence of bytecodes * bytecodes
+  | Ksequence of bytecodes
   | Kproj of Projection.Repr.t
   | Kensurestackcapacity of int
 
-- 
cgit v1.2.3