diff options
-rw-r--r-- | backend/Regalloc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Regalloc.ml b/backend/Regalloc.ml index a4710cb0..cfaf422d 100644 --- a/backend/Regalloc.ml +++ b/backend/Regalloc.ml @@ -1167,7 +1167,7 @@ and success f alloc = let f' = transl_function f alloc in if !option_dalloctrace then begin fprintf !pp "-------------- Candidate allocation\n\n"; - PrintLTL.print_function !pp P.one f' + PrintLTL.print_function !pp (intern_string "f") f' end; f' |