diff options
Diffstat (limited to 'asmcomp/coloring.mli')
| -rw-r--r-- | asmcomp/coloring.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli deleted file mode 100644 index 7b45787cc9..0000000000 --- a/asmcomp/coloring.mli +++ /dev/null @@ -1,3 +0,0 @@ -(* Register allocation by coloring of the interference graph *) - -val allocate_registers: unit -> unit |