diff options
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
| -rw-r--r-- | kernel/genOpcodeFiles.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/genOpcodeFiles.ml b/kernel/genOpcodeFiles.ml index e2932ec330..ca9985d079 100644 --- a/kernel/genOpcodeFiles.ml +++ b/kernel/genOpcodeFiles.ml @@ -120,8 +120,6 @@ let opcodes = "CHECKLSLINT63"; "CHECKLSRINT63"; "CHECKADDMULDIVINT63"; - "CHECKLSLINT63CONST1"; - "CHECKLSRINT63CONST1"; "CHECKEQINT63"; "CHECKLTINT63"; "CHECKLEINT63"; |