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