summaryrefslogtreecommitdiff
path: root/src/fltk_binding
diff options
context:
space:
mode:
Diffstat (limited to 'src/fltk_binding')
-rw-r--r--src/fltk_binding/fltk.ads4
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