diff options
Diffstat (limited to 'kernel/vmbytecodes.mli')
| -rw-r--r-- | kernel/vmbytecodes.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/vmbytecodes.mli b/kernel/vmbytecodes.mli index 33071b917b..138778eac4 100644 --- a/kernel/vmbytecodes.mli +++ b/kernel/vmbytecodes.mli @@ -61,7 +61,6 @@ type instruction = | Kbranch of Label.t (** jump to label, is it needed ? *) | Kprim of CPrimitives.t * pconstant | Kcamlprim of CPrimitives.t * Label.t - | Kareint of int and bytecodes = instruction list |