diff options
Diffstat (limited to 'bytecomp/printinstr.ml')
| -rw-r--r-- | bytecomp/printinstr.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml index 8b2ba1e8c..a7c859d84 100644 --- a/bytecomp/printinstr.ml +++ b/bytecomp/printinstr.ml @@ -96,6 +96,8 @@ let instruction ppf = function | Kisint -> fprintf ppf "\tisint" | Kisout -> fprintf ppf "\tisout" | Kgetmethod -> fprintf ppf "\tgetmethod" + | Kgetpubmet n -> fprintf ppf "\tgetpubmet %i" n + | Kgetdynmet -> fprintf ppf "\tgetdynmet" | Kstop -> fprintf ppf "\tstop" | Kevent ev -> fprintf ppf "\tevent \"%s\" %i" ev.ev_char.Lexing.pos_fname ev.ev_char.Lexing.pos_cnum |