diff options
Diffstat (limited to 'bytecomp/instruct.mli')
| -rw-r--r-- | bytecomp/instruct.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index f609d5d94..fdedd8fd4 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -116,6 +116,8 @@ type instruction = | Kisint | Kisout | Kgetmethod + | Kgetpubmet of int + | Kgetdynmet | Kevent of debug_event | Kstop |