diff options
Diffstat (limited to 'asmcomp/linearize.mli')
| -rw-r--r-- | asmcomp/linearize.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index 257716bc6e..d166229568 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -53,6 +53,7 @@ type fundecl = fun_fast: bool; fun_dbg : Debuginfo.t; fun_spacetime_shape : Mach.spacetime_shape option; + fun_tailrec_entry_point_label : label; } val fundecl: Mach.fundecl -> fundecl |