diff options
Diffstat (limited to 'src/PureMicroPasses.ml')
| -rw-r--r-- | src/PureMicroPasses.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml index 6c61b9dc..f45c59bb 100644 --- a/src/PureMicroPasses.ml +++ b/src/PureMicroPasses.ml @@ -1072,7 +1072,7 @@ let apply_passes_to_def (config : config) (ctx : trans_ctx) (def : fun_def) : log#ldebug (lazy ("PureMicroPasses.apply_passes_to_def: " - ^ Print.name_to_string def.basename + ^ Print.fun_name_to_string def.basename ^ " (" ^ Print.option_to_string T.RegionGroupId.to_string def.back_id ^ ")")); |