Update the way function names are handled

1 files changed, 4 insertions, 2 deletions

diff --git a/src/Translate.ml b/src/Translate.ml
index 077cc32d..9b651288 100644
--- a/src/Translate.ml
+++ b/src/Translate.ml
@@ -56,7 +56,8 @@ let translate_function_to_symbolics (config : C.partial_config)
   (* Debug *)
   log#ldebug
     (lazy
-      ("translate_function_to_symbolics: " ^ Print.name_to_string fdef.A.name));
+      ("translate_function_to_symbolics: "
+      ^ Print.fun_name_to_string fdef.A.name));
 
   let { type_context; fun_context } = trans_ctx in
 
@@ -94,7 +95,8 @@ let translate_function_to_pure (config : C.partial_config)
     pure_fun_translation =
   (* Debug *)
   log#ldebug
-    (lazy ("translate_function_to_pure: " ^ Print.name_to_string fdef.A.name));
+    (lazy
+      ("translate_function_to_pure: " ^ Print.fun_name_to_string fdef.A.name));
 
   let { type_context; fun_context } = trans_ctx in
   let def_id = fdef.def_id in