diff options
Diffstat (limited to 'kernel/cemitcodes.ml')
| -rw-r--r-- | kernel/cemitcodes.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/cemitcodes.ml b/kernel/cemitcodes.ml index 00f1f7fbd..680a5f9f2 100644 --- a/kernel/cemitcodes.ml +++ b/kernel/cemitcodes.ml @@ -258,6 +258,9 @@ let emit_instr = function | Kareconst(n,lbl) -> out opARECONST; out_int n; out_label lbl | Kcompint31 -> out opCOMPINT31 | Kdecompint31 -> out opDECOMPINT31 + | Klorint31 -> out opORINT31 + | Klandint31 -> out opANDINT31 + | Klxorint31 -> out opXORINT31 (*/spiwack *) | Kstop -> out opSTOP |