summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2016-11-08 06:58:44 +1100
committerJed Barber <jjbarber@y7mail.com>2016-11-08 06:58:44 +1100
commitc3592231733f3f52aa9fdfd83ac93eb9ee1865e1 (patch)
treec4e6d5bb640f5eb39ebb197d51e352012e4538de
parentf28f819c721fa5a317e23b3cc1eefb938115b47a (diff)
Fixed a few errors turned up by latest GNAT
-rw-r--r--fltk.ads4
1 files 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