aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/predicate7.adb
blob: 119c19035c26630522b0627b8802ecceb239239a (plain)
1
2
3
4
5
6
--  { dg-do compile }
--  { dg-options "-gnata" }

package body Predicate7 is
   procedure Foo is null;
end;