summaryrefslogtreecommitdiffstats
path: root/bytecomp/instruct.ml
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/instruct.ml')
-rw-r--r--bytecomp/instruct.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml
index e54658450..ec645fa91 100644
--- a/bytecomp/instruct.ml
+++ b/bytecomp/instruct.ml
@@ -94,6 +94,7 @@ type instruction =
| Kintcomp of comparison
| Koffsetint of int
| Koffsetref of int
+ | Kisint
| Kgetmethod
| Kevent of debug_event
| Kstop