diff options
Diffstat (limited to 'backend/IRC.mli')
-rw-r--r-- | backend/IRC.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backend/IRC.mli b/backend/IRC.mli index 30b6d5c1..f7bbf9c5 100644 --- a/backend/IRC.mli +++ b/backend/IRC.mli @@ -43,5 +43,4 @@ val coloring: graph -> (var -> loc) val reserved_registers: mreg list ref (* Auxiliaries to deal with register classes *) -val class_of_type: AST.typ -> int val class_of_loc: loc -> int |