1 files changed, 12 insertions, 0 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index a8a4ffce9c..7deffd030b 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -137,6 +137,18 @@ let opcodes =
     "CHECKTAIL0INT63";
     "ISINT";
     "AREINT2";
+    "CHECKOPPFLOAT";
+    "CHECKABSFLOAT";
+    "CHECKCOMPAREFLOAT";
+    "CHECKADDFLOAT";
+    "CHECKSUBFLOAT";
+    "CHECKMULFLOAT";
+    "CHECKDIVFLOAT";
+    "CHECKSQRTFLOAT";
+    "CHECKFLOATOFINT63";
+    "CHECKFLOATNORMFRMANTISSA";
+    "CHECKFRSHIFTEXP";
+    "CHECKLDSHIFTEXP";
     "STOP"
   |]