From c3592231733f3f52aa9fdfd83ac93eb9ee1865e1 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 8 Nov 2016 06:58:44 +1100 Subject: Fixed a few errors turned up by latest GNAT --- fltk.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/fltk.ads b/fltk.ads index fab93e0..490050d 100644 --- a/fltk.ads +++ b/fltk.ads @@ -28,8 +28,8 @@ private type Wrapper is abstract new Ada.Finalization.Limited_Controlled with record Void_Ptr : System.Address; - end record - with Type_Invariant => Has_Valid_Ptr (Wrapper); + end record; + -- with Type_Invariant => Has_Valid_Ptr (Wrapper); -- unsure if the above invariant is doing what I'm after -- oh well, something to work on -- cgit