diff options
Diffstat (limited to 'kernel/cbytecodes.mli')
| -rw-r--r-- | kernel/cbytecodes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/cbytecodes.mli b/kernel/cbytecodes.mli index 06b380ef89..d7ea6f13c2 100644 --- a/kernel/cbytecodes.mli +++ b/kernel/cbytecodes.mli @@ -46,7 +46,7 @@ type instruction = | Kconst of structured_constant | Kmakeblock of (* size: *) int * tag (** allocate an ocaml block. Index 0 ** is accu, all others are popped from - ** the top of the stack *) + ** the top of the stack *) | Kmakeprod | Kmakeswitchblock of Label.t * Label.t * annot_switch * int | Kswitch of Label.t array * Label.t array (** consts,blocks *) |