diff options
| author | Guillaume Melquiond | 2020-08-30 09:12:17 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-13 15:13:23 +0100 |
| commit | aebc10aab3581a0561f96de6b5db6d530a65e658 (patch) | |
| tree | fc77c92a0e39e4f77c4600ea4dc9e51f20a247b6 /kernel/vmbytecodes.ml | |
| parent | fdd16113a042170022dce276e53e7a3308c0451c (diff) | |
Remove some unused opcodes from VM.
Diffstat (limited to 'kernel/vmbytecodes.ml')
| -rw-r--r-- | kernel/vmbytecodes.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/kernel/vmbytecodes.ml b/kernel/vmbytecodes.ml index a1dea977cd..2cef6e3359 100644 --- a/kernel/vmbytecodes.ml +++ b/kernel/vmbytecodes.ml @@ -62,7 +62,6 @@ type instruction = | Kbranch of Label.t (* jump to label *) | Kprim of CPrimitives.t * pconstant | Kcamlprim of CPrimitives.t * Label.t - | Kareint of int and bytecodes = instruction list @@ -152,8 +151,6 @@ let rec pp_instr i = str "camlcall " ++ str (CPrimitives.to_string op) ++ spc () ++ pp_lbl lbl - | Kareint n -> str "areint " ++ int n - and pp_bytecodes c = match c with | [] -> str "" |