diff options
Diffstat (limited to 'bytecomp/emitcode.ml')
| -rw-r--r-- | bytecomp/emitcode.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 689ffe317..981cd1e92 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -255,6 +255,7 @@ let emit_instr = function | Kintcomp Cgt -> out opGTINT | Kintcomp Cge -> out opGEINT | Koffsetint n -> out opOFFSETINT; out_int n | Koffsetref n -> out opOFFSETREF; out_int n + | Kisint -> out opISINT | Kgetmethod -> out opGETMETHOD | Kevent ev -> record_event ev | Kstop -> out opSTOP |