1 files changed, 6 insertions, 12 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index f052e03cde..dc2cd349ce 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,21 +125,15 @@ let opcodes =
     "CHECKLSRINT63CONST1";
     "CHECKEQINT63";
     "CHECKLTINT63";
-    "LTINT63";
     "CHECKLEINT63";
-    "LEINT63";
     "CHECKCOMPAREINT63";
     "CHECKHEAD0INT63";
     "CHECKTAIL0INT63";
-    "ISINT";
-    "AREINT2";
     "CHECKOPPFLOAT";
     "CHECKABSFLOAT";
     "CHECKEQFLOAT";
     "CHECKLTFLOAT";
-    "LTFLOAT";
     "CHECKLEFLOAT";
-    "LEFLOAT";
     "CHECKCOMPAREFLOAT";
     "CHECKCLASSIFYFLOAT";
     "CHECKADDFLOAT";
@@ -155,10 +147,12 @@ let opcodes =
     "CHECKLDSHIFTEXP";
     "CHECKNEXTUPFLOAT";
     "CHECKNEXTDOWNFLOAT";
-    "ISINT_CAML_CALL2";
-    "ISARRAY_CAML_CALL1";
-    "ISARRAY_INT_CAML_CALL2";
-    "ISARRAY_INT_CAML_CALL3";
+    "CHECKNEXTUPFLOATINPLACE";
+    "CHECKNEXTDOWNFLOATINPLACE";
+    "CHECKCAMLCALL2_1";
+    "CHECKCAMLCALL1";
+    "CHECKCAMLCALL2";
+    "CHECKCAMLCALL3_1";
     "STOP"
   |]