diff options
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
| -rw-r--r-- | kernel/genOpcodeFiles.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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"; |