summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/overriding_ops_p.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/overriding_ops_p.ads')
-rw-r--r--gcc/testsuite/gnat.dg/overriding_ops_p.ads8
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/overriding_ops_p.ads b/gcc/testsuite/gnat.dg/overriding_ops_p.ads
new file mode 100644
index 000000000..cd6e32fe0
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/overriding_ops_p.ads
@@ -0,0 +1,8 @@
+package overriding_ops_p is
+ subtype Name_Type is String (1 .. 30);
+ type Device is synchronized interface;
+ -- Base type of devices
+ procedure Set_Name (Object : in out Device; Name : Name_Type)
+ is abstract;
+ -- Set the name of the Device
+end overriding_ops_p;