1 files changed, 4 insertions, 6 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index 2d74cca44c..f052e03cde 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -38,15 +38,15 @@ let opcodes =
     "PUSHACC7";
     "PUSHACC";
     "POP";
+    "ENVACC0";
     "ENVACC1";
     "ENVACC2";
     "ENVACC3";
-    "ENVACC4";
     "ENVACC";
+    "PUSHENVACC0";
     "PUSHENVACC1";
     "PUSHENVACC2";
     "PUSHENVACC3";
-    "PUSHENVACC4";
     "PUSHENVACC";
     "PUSH_RETADDR";
     "APPLY";
@@ -65,13 +65,11 @@ let opcodes =
     "CLOSURE";
     "CLOSUREREC";
     "CLOSURECOFIX";
-    "OFFSETCLOSUREM2";
     "OFFSETCLOSURE0";
-    "OFFSETCLOSURE2";
+    "OFFSETCLOSURE1";
     "OFFSETCLOSURE";
-    "PUSHOFFSETCLOSUREM2";
     "PUSHOFFSETCLOSURE0";
-    "PUSHOFFSETCLOSURE2";
+    "PUSHOFFSETCLOSURE1";
     "PUSHOFFSETCLOSURE";
     "GETGLOBAL";
     "PUSHGETGLOBAL";