From ba48bca05e97c8f71713c7ce972f70c521da7bfd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 24 Feb 2022 01:56:27 +0100
Subject: Update the way function names are handled

---
 src/PureMicroPasses.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/PureMicroPasses.ml')

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
       ^ ")"));
-- 
cgit v1.2.3