diff options
| author | Andre Vieira <andre.simoesdiasvieira@arm.com> | 2018-06-22 14:59:21 +0000 |
|---|---|---|
| committer | Andre Vieira <andre.simoesdiasvieira@arm.com> | 2018-06-22 14:59:21 +0000 |
| commit | 80bb895d235d82f30bb097050acc82470b53cf52 (patch) | |
| tree | d887d893f39d16e4990a853d3398dfc48433430f /gcc/testsuite/gnat.dg/discr53_pkg.ads | |
| parent | 701c5838e5f5999de48c3b2c9f2e10b453a78f88 (diff) | |
| parent | 8483773478af7ea732b52a98e325a07608777ebe (diff) | |
Merge from gcc-7-branch.ARM/embedded-7-branch-2018q2ARM/embedded-7-branch
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/ARM/embedded-7-branch@261903 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gnat.dg/discr53_pkg.ads')
| -rw-r--r-- | gcc/testsuite/gnat.dg/discr53_pkg.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/discr53_pkg.ads b/gcc/testsuite/gnat.dg/discr53_pkg.ads new file mode 100644 index 00000000000..d36e1ba2a12 --- /dev/null +++ b/gcc/testsuite/gnat.dg/discr53_pkg.ads @@ -0,0 +1,5 @@ +package Discr53_Pkg is + + function Max return Natural; + +end Discr53_Pkg; |