From 8827f9bc5d68726bc04a4cd8d26321868bd76b7f Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Thu, 23 Mar 2017 13:16:58 +0100 Subject: use 'f' as generic function-identifier instead of arbitraty identifier 1 for alloctrace debug-output --- backend/Regalloc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'backend') 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' -- cgit