diff options
Diffstat (limited to 'backend/PrintAsmaux.ml')
-rw-r--r-- | backend/PrintAsmaux.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml index b220659c..ff276af1 100644 --- a/backend/PrintAsmaux.ml +++ b/backend/PrintAsmaux.ml @@ -45,6 +45,7 @@ module type TARGET = val default_falignment: int val new_label: unit -> int val label: out_channel -> int -> unit + val address: string end (* On-the-fly label renaming *) |