summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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