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 | c3592231733f3f52aa9fdfd83ac93eb9ee1865e1 (patch) | |
| tree | c4e6d5bb640f5eb39ebb197d51e352012e4538de | |
| parent | f28f819c721fa5a317e23b3cc1eefb938115b47a (diff) | |
Fixed a few errors turned up by latest GNAT
| -rw-r--r-- | fltk.ads | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |