diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-10-08 15:19:31 +0200 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-10-08 20:28:12 +0200 |
| commit | 540996d21ee3793a1cecce252c81fb76a6b9fd61 (patch) | |
| tree | 3eb32bd86830bf1336f4bc626f218088b2ae0232 /asmcomp/linear.mli | |
| parent | eb342da8a9cdbce0760b91c9b9d5e682ed0d4496 (diff) | |
| download | ocaml-540996d21ee3793a1cecce252c81fb76a6b9fd61.tar.gz | |
Remove Spacetime
Diffstat (limited to 'asmcomp/linear.mli')
| -rw-r--r-- | asmcomp/linear.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/asmcomp/linear.mli b/asmcomp/linear.mli index 2d1ce9430e..2f52c20954 100644 --- a/asmcomp/linear.mli +++ b/asmcomp/linear.mli @@ -53,7 +53,6 @@ type fundecl = fun_body: instruction; fun_fast: bool; fun_dbg : Debuginfo.t; - fun_spacetime_shape : Mach.spacetime_shape option; fun_tailrec_entry_point_label : label; fun_contains_calls: bool; fun_num_stack_slots: int array; |