diff options
Diffstat (limited to 'src/SymbolicToPure.ml')
| -rw-r--r-- | src/SymbolicToPure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml index 5709ce23..7f747a74 100644 --- a/src/SymbolicToPure.ml +++ b/src/SymbolicToPure.ml @@ -1448,7 +1448,7 @@ let translate_fun_def (config : config) (ctx : bs_ctx) (body : S.expression) : log#ldebug (lazy ("SymbolicToPure.translate_fun_def: " - ^ Print.name_to_string def.A.name + ^ Print.fun_name_to_string def.A.name ^ " (" ^ Print.option_to_string T.RegionGroupId.to_string bid ^ ")")); |