diff options
| author | Guillaume Melquiond | 2020-12-27 10:42:33 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-01-10 10:24:10 +0100 |
| commit | 944757e10651fda0d63d9291a6bcb1b6fdbaa256 (patch) | |
| tree | 676b61021885d93290e74a1c9954e0dd80a3d9c2 /kernel/genOpcodeFiles.ml | |
| parent | d009572893913b889320f2fa3435543ee4c63f82 (diff) | |
Remove LSLINT63CONST1 and LSRINT63CONST1 as they are unused.
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"; |