fix: mangle member name in deletion generator (#1458)HEADmaster

1 files changed, 1 insertions, 1 deletions

diff --git a/src/Concretize.hs b/src/Concretize.hs
index b3127203..42664166 100644
--- a/src/Concretize.hs
+++ b/src/Concretize.hs
@@ -921,7 +921,7 @@ concreteDeleteTakePtr typeEnv env members =
 memberDeletionGeneral :: String -> TypeEnv -> Env -> (String, Ty) -> String
 memberDeletionGeneral separator typeEnv env (memberName, memberType) =
   case findFunctionForMember typeEnv env "delete" (typesDeleterFunctionType memberType) (memberName, memberType) of
-    FunctionFound functionFullName -> "    " ++ functionFullName ++ "(p" ++ separator ++ memberName ++ ");"
+    FunctionFound functionFullName -> "    " ++ functionFullName ++ "(p" ++ separator ++ mangle memberName ++ ");"
     FunctionNotFound msg -> error msg
     FunctionIgnored -> "    /* Ignore non-managed member '" ++ memberName ++ "' : " ++ show memberType ++ " */"