diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2016-11-08 06:58:44 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2016-11-08 06:58:44 +1100 |
| commit | 2b2ed338e7b4f7372fdd74feb33476dd7b94aea5 (patch) | |
| tree | 0c4b3ef37d2f2ca87456cf68affb7e87240130e2 /src/fltk_binding/fltk.ads | |
| parent | 48cb96f4316398f8b9c2b9a580bfe5c9ca90e323 (diff) | |
Fixed a few errors turned up by latest GNAT
Diffstat (limited to 'src/fltk_binding/fltk.ads')
| -rw-r--r-- | src/fltk_binding/fltk.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/fltk_binding/fltk.ads b/src/fltk_binding/fltk.ads index fab93e0..490050d 100644 --- a/src/fltk_binding/fltk.ads +++ b/src/fltk_binding/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 |