diff options
Diffstat (limited to 'bytecomp/emitcode.ml')
| -rw-r--r-- | bytecomp/emitcode.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index a2ee15a82..bd56ca642 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -293,6 +293,8 @@ let emit_instr = function | Kisint -> out opISINT | Kisout -> out opULTINT | Kgetmethod -> out opGETMETHOD + | Kgetpubmet tag -> out opGETPUBMET; out_int tag; out_int 0 + | Kgetdynmet -> out opGETDYNMET | Kevent ev -> record_event ev | Kstop -> out opSTOP |