Fix memory leak on constant creation

ref #24
Componolit · Nov 22, 2021 · 89c0e85 · 89c0e85
1 parent db86ae8
commit 89c0e85
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/z3.adb b/z3.adb
@@ -34,11 +34,12 @@ is
                    Sort    : z3_api_h.Z3_sort;
                    Context : z3_api_h.Z3_context) return z3_api_h.Z3_ast
    is
-      C_Name : constant chars_ptr := New_String (Name);
+      C_Name : chars_ptr := New_String (Name);
       Symbol : constant z3_api_h.Z3_symbol :=
          z3_api_h.Z3_mk_string_symbol (c => Context,
                                        s => z3_api_h.Z3_string (C_Name));
    begin
+      Free (C_Name);
       return z3_api_h.Z3_mk_const (c  => Context,
                                    s  => Symbol,
                                    ty => Sort);