diff options
Diffstat (limited to 'bytecomp/printinstr.ml')
| -rw-r--r-- | bytecomp/printinstr.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml index 9ffa9bdf9..3577386ef 100644 --- a/bytecomp/printinstr.ml +++ b/bytecomp/printinstr.ml @@ -98,6 +98,7 @@ let instruction = function | Kintcomp Cge -> print_string "\tgeint" | Koffsetint n -> print_string "\toffsetint "; print_int n | Koffsetref n -> print_string "\toffsetref "; print_int n + | Kisint -> print_string "\tisint" | Kgetmethod -> print_string "\tgetmethod" | Kstop -> print_string "\tstop" | Kevent ev -> print_string "\tevent "; print_int ev.ev_char |