diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-09-08 10:02:05 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-09-08 10:02:05 +0200 |
| commit | 3f39439132738db54daf330c866ad0cde305392d (patch) | |
| tree | 849f2e523c8df6bf5a5b58f0e0eab33a22e0467d /gcc | |
| parent | 7a9c7d01fd7c06dae1757dc50b2d5eb753619146 (diff) | |
| download | gcc-3f39439132738db54daf330c866ad0cde305392d.zip gcc-3f39439132738db54daf330c866ad0cde305392d.tar.gz gcc-3f39439132738db54daf330c866ad0cde305392d.tar.bz2 | |
Add spec for controlled2.adb test
From-SVN: r128263
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gnat.dg/controlled2.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/controlled2.ads b/gcc/testsuite/gnat.dg/controlled2.ads new file mode 100644 index 0000000..a973623 --- /dev/null +++ b/gcc/testsuite/gnat.dg/controlled2.ads @@ -0,0 +1,5 @@ + +with controlled1; use controlled1; +package controlled2 is + procedure Test_Suite; +end controlled2; |