diff options
Diffstat (limited to 'src/fltk-devices.ads')
| -rw-r--r-- | src/fltk-devices.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/fltk-devices.ads b/src/fltk-devices.ads index 517bd73..d9ce5b1 100644 --- a/src/fltk-devices.ads +++ b/src/fltk-devices.ads @@ -9,6 +9,9 @@ package FLTK.Devices is type Device is new Wrapper with private; + type Device_Reference (Data : not null access Device'Class) is + limited null record with Implicit_Dereference => Data; + private |