diff options
Diffstat (limited to 'kernel/vmbytecodes.mli')
| -rw-r--r-- | kernel/vmbytecodes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vmbytecodes.mli b/kernel/vmbytecodes.mli index 138778eac4..003a77ab78 100644 --- a/kernel/vmbytecodes.mli +++ b/kernel/vmbytecodes.mli @@ -54,7 +54,7 @@ type instruction = | Kfield of int (** accu = accu[n] *) | Ksetfield of int (** accu[n] = sp[0] ; sp = pop sp *) | Kstop - | Ksequence of bytecodes * bytecodes + | Ksequence of bytecodes | Kproj of Projection.Repr.t | Kensurestackcapacity of int |