From d18b928154a48ff8d90aaff69eca7d6eb3dfa0ab Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Tue, 28 Aug 2018 18:56:07 +0200
Subject: Implement classify on primitive float

---
 kernel/genOpcodeFiles.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/genOpcodeFiles.ml')

diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml
index 7deffd030b..045a1e361d 100644
--- a/kernel/genOpcodeFiles.ml
+++ b/kernel/genOpcodeFiles.ml
@@ -140,6 +140,7 @@ let opcodes =
     "CHECKOPPFLOAT";
     "CHECKABSFLOAT";
     "CHECKCOMPAREFLOAT";
+    "CHECKCLASSIFYFLOAT";
     "CHECKADDFLOAT";
     "CHECKSUBFLOAT";
     "CHECKMULFLOAT";
-- 
cgit v1.2.3