1 files changed, 0 insertions, 6 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index f052e03cde..b48084109b 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -104,11 +104,9 @@ let opcodes =
     "MAKEPROD";
     "BRANCH";
     "CHECKADDINT63";
-    "ADDINT63";
     "CHECKADDCINT63";
     "CHECKADDCARRYCINT63";
     "CHECKSUBINT63";
-    "SUBINT63";
     "CHECKSUBCINT63";
     "CHECKSUBCARRYCINT63";
     "CHECKMULINT63";
@@ -127,9 +125,7 @@ let opcodes =
     "CHECKLSRINT63CONST1";
     "CHECKEQINT63";
     "CHECKLTINT63";
-    "LTINT63";
     "CHECKLEINT63";
-    "LEINT63";
     "CHECKCOMPAREINT63";
     "CHECKHEAD0INT63";
     "CHECKTAIL0INT63";
@@ -139,9 +135,7 @@ let opcodes =
     "CHECKABSFLOAT";
     "CHECKEQFLOAT";
     "CHECKLTFLOAT";
-    "LTFLOAT";
     "CHECKLEFLOAT";
-    "LEFLOAT";
     "CHECKCOMPAREFLOAT";
     "CHECKCLASSIFYFLOAT";
     "CHECKADDFLOAT";