Fix memory leak in Optimize.Set_Timeout

ref #24
Componolit · Dec 7, 2021 · b70a314 · b70a314
1 parent 1cf1977
commit b70a314
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/z3.adb b/z3.adb
@@ -769,7 +769,7 @@ is
    procedure Set_Timeout (Optimize : in out Z3.Optimize;
                           Timeout  :        Natural := 1000)
    is
-      Param_Name : constant chars_ptr := New_String ("timeout");
+      Param_Name : chars_ptr                   := New_String ("timeout");
       Params     : constant z3_api_h.Z3_params := z3_api_h.Z3_mk_params (Optimize.Context.Data);
    begin
       z3_api_h.Z3_params_set_uint
@@ -778,6 +778,7 @@ is
           z3_api_h.Z3_mk_string_symbol (Optimize.Context.Data, z3_api_h.Z3_string (Param_Name)),
           Interfaces.C.unsigned (Timeout));
       z3_optimization_h.Z3_optimize_set_params (Optimize.Context.Data, Optimize.Data, Params);
+      Free (Param_Name);
    end Set_Timeout;
 
    ------------------------------------------------------------------------------------------------