From aebc10aab3581a0561f96de6b5db6d530a65e658 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 30 Aug 2020 09:12:17 +0200
Subject: Remove some unused opcodes from VM.

---
 kernel/genOpcodeFiles.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/genOpcodeFiles.ml')

diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index b48084109b..c8c8f61d59 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -129,8 +129,6 @@ let opcodes =
     "CHECKCOMPAREINT63";
     "CHECKHEAD0INT63";
     "CHECKTAIL0INT63";
-    "ISINT";
-    "AREINT2";
     "CHECKOPPFLOAT";
     "CHECKABSFLOAT";
     "CHECKEQFLOAT";
-- 
cgit v1.2.3