diff options
Diffstat (limited to 'src/Translate.ml')
| -rw-r--r-- | src/Translate.ml | 6 |
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 |