diff options
-rw-r--r-- | compiler/ExtractTypes.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/ExtractTypes.ml b/compiler/ExtractTypes.ml index f4be9006..7bd02381 100644 --- a/compiler/ExtractTypes.ml +++ b/compiler/ExtractTypes.ml @@ -700,7 +700,9 @@ let mk_formatter (ctx : trans_ctx) (crate_name : string) with the trait decl name *) let trait_decl = let name = trait_decl.name in - get_type_name_no_suffix name ^ "Inst" + let name = get_type_name_no_suffix name ^ "Inst" in + (* Remove the occurrences of '.' *) + String.concat "" (String.split_on_char '.' name) in flatten_name (get_type_name trait_impl.name @ [ trait_decl ]) in |