diff options
Diffstat (limited to 'asmcomp/proc.mli')
| -rw-r--r-- | asmcomp/proc.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/asmcomp/proc.mli b/asmcomp/proc.mli index 91a480b097..6cc6aedc90 100644 --- a/asmcomp/proc.mli +++ b/asmcomp/proc.mli @@ -46,3 +46,6 @@ val contains_calls: bool ref (* Calling the assembler *) val assemble_file: string -> string -> int + +(* Called before translating a fundecl. *) +val init : unit -> unit |