diff options
author | Michael Schmidt <github@mschmidt.me> | 2017-03-23 13:16:58 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2017-03-23 13:16:58 +0100 |
commit | 8827f9bc5d68726bc04a4cd8d26321868bd76b7f (patch) | |
tree | 0160dd9fd9e825412b1d8ec903d18fc6263934a3 | |
parent | 361253d66fde0eb79d3fde7cc272e43689768ee7 (diff) | |
download | compcert-8827f9bc5d68726bc04a4cd8d26321868bd76b7f.tar.gz compcert-8827f9bc5d68726bc04a4cd8d26321868bd76b7f.zip |
use 'f' as generic function-identifier instead of arbitraty identifier 1 for alloctrace debug-output
-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' |