diff options
| author | Greta Yorsh <gyorsh@janestreet.com> | 2019-09-11 18:38:09 +0100 |
|---|---|---|
| committer | Greta Yorsh <gyorsh@janestreet.com> | 2019-09-11 18:48:20 +0100 |
| commit | cae89d4e1b6823f0218b207b148b824a376f23aa (patch) | |
| tree | a59659050e3117680e56b333698b2cf076fb1916 /asmcomp/coloring.mli | |
| parent | 357932d9c3f8894b3966ec4f9afdef60ccb93ba7 (diff) | |
| download | ocaml-cae89d4e1b6823f0218b207b148b824a376f23aa.tar.gz | |
Pass num_stack_slots as argument
Diffstat (limited to 'asmcomp/coloring.mli')
| -rw-r--r-- | asmcomp/coloring.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli index 874a6f98e1..83439b90c7 100644 --- a/asmcomp/coloring.mli +++ b/asmcomp/coloring.mli @@ -15,4 +15,4 @@ (* Register allocation by coloring of the interference graph *) -val allocate_registers: unit -> unit +val allocate_registers: unit -> int array |