From 944757e10651fda0d63d9291a6bcb1b6fdbaa256 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 27 Dec 2020 10:42:33 +0100
Subject: Remove LSLINT63CONST1 and LSRINT63CONST1 as they are unused.

---
 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 e2932ec330..ca9985d079 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -120,8 +120,6 @@ let opcodes =
     "CHECKLSLINT63";
     "CHECKLSRINT63";
     "CHECKADDMULDIVINT63";
-    "CHECKLSLINT63CONST1";
-    "CHECKLSRINT63CONST1";
     "CHECKEQINT63";
     "CHECKLTINT63";
     "CHECKLEINT63";
-- 
cgit v1.2.3