diff options
Diffstat (limited to 'bytecomp/instruct.mli')
| -rw-r--r-- | bytecomp/instruct.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index 55fee05bb..4279e0c71 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -25,8 +25,8 @@ type instruction = | Kmakeblock of int * int (* size, tag *) | Kgetfield of int | Ksetfield of int - | Kdummy of int - | Kupdate + | Kdummy of int (* block size *) + | Kupdate of int (* block size *) | Kvectlength | Kgetvectitem | Ksetvectitem |