diff options
Diffstat (limited to 'bytecomp/instruct.mli')
| -rw-r--r-- | bytecomp/instruct.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index 2355107d4..561ce5339 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -113,6 +113,7 @@ type instruction = | Kintcomp of comparison | Koffsetint of int | Koffsetref of int + | Kisint | Kgetmethod | Kevent of debug_event | Kstop |