1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index 52b7a822e3..82bb2b584d 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -139,6 +139,11 @@ let opcodes =
     "AREINT2";
     "CHECKOPPFLOAT";
     "CHECKABSFLOAT";
+    "CHECKEQFLOAT";
+    "CHECKLTFLOAT";
+    "LTFLOAT";
+    "CHECKLEFLOAT";
+    "LEFLOAT";
     "CHECKCOMPAREFLOAT";
     "CHECKCLASSIFYFLOAT";
     "CHECKADDFLOAT";