diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2024-11-24 13:55:54 +1300 | 
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2024-11-24 13:55:54 +1300 | 
| commit | b2f485d9dfe25c2006fe2a1ace9a7ed1a9a9162f (patch) | |
| tree | 265c83477aa8a1fbedded08f19789811adc03fa2 /src/fltk-devices-surfaces-paged.adb | |
| parent | 7739cbdfccea91e242fa6cecaf0d89e9695dc0e0 (diff) | |
Fixed double free in Finalize subprograms
Diffstat (limited to 'src/fltk-devices-surfaces-paged.adb')
| -rw-r--r-- | src/fltk-devices-surfaces-paged.adb | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/src/fltk-devices-surfaces-paged.adb b/src/fltk-devices-surfaces-paged.adb index 990d1ea..5de3fec 100644 --- a/src/fltk-devices-surfaces-paged.adb +++ b/src/fltk-devices-surfaces-paged.adb @@ -140,6 +140,7 @@ package body FLTK.Devices.Surfaces.Paged is      begin          if This.Void_Ptr /= Null_Pointer and This.Needs_Dealloc then              free_fl_paged_device (This.Void_Ptr); +            This.Void_Ptr := Null_Pointer;          end if;      end Finalize; | 
