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.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/vmbytecodes.ml')

diff --git a/kernel/vmbytecodes.ml b/kernel/vmbytecodes.ml
index 2cef6e3359..4977aec00a 100644
--- a/kernel/vmbytecodes.ml
+++ b/kernel/vmbytecodes.ml
@@ -56,7 +56,7 @@ type instruction =
   | Kfield of int
   | Ksetfield of int
   | Kstop
-  | Ksequence of bytecodes * bytecodes
+  | Ksequence of bytecodes
   | Kproj of Projection.Repr.t
   | Kensurestackcapacity of int
   | Kbranch of Label.t                  (* jump to label *)
@@ -157,7 +157,7 @@ and pp_bytecodes c =
   | Klabel lbl :: c ->
         str "L" ++ int lbl ++ str ":" ++ fnl () ++
         pp_bytecodes c
-  | Ksequence (l1, l2) :: c ->
-      pp_bytecodes l1 ++ pp_bytecodes l2 ++  pp_bytecodes c
+  | Ksequence l :: c ->
+      pp_bytecodes l ++  pp_bytecodes c
   | i :: c ->
       pp_instr i ++ fnl () ++ pp_bytecodes c
-- 
cgit v1.2.3