From 3dafc66bc620994493b0da6429f580272eef3116 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 17 Mar 2018 17:42:53 +1100 Subject: Added FLTK.Widgets.Groups.Input_Choices --- src/fltk.ads | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/fltk.ads') diff --git a/src/fltk.ads b/src/fltk.ads index 8a6a933..91a7b94 100644 --- a/src/fltk.ads +++ b/src/fltk.ads @@ -201,7 +201,8 @@ private type Wrapper is abstract new Ada.Finalization.Limited_Controlled with record - Void_Ptr : System.Address; + Void_Ptr : System.Address; + Needs_Dealloc : Boolean := True; end record; -- with Type_Invariant => Has_Valid_Ptr (Wrapper); -- cgit