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 f609d5d94b..fdedd8fd47 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 |