discr1.ads: Compile with -gnatc instead of -gnatct.
authorEric Botcazou <ebotcazou@gcc.gnu.org>
Sun, 5 Jan 2020 16:02:53 +0000 (16:02 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Sun, 5 Jan 2020 16:02:53 +0000 (16:02 +0000)
commite9c6bb460b440029cf49641cd613d9bff08d299f
treeac5d2c6f1102afdade25de14fa57c90ab5016974
parent53cfd9360dd828a57905474fcf3116108420d512
discr1.ads: Compile with -gnatc instead of -gnatct.

* gnat.dg/specs/discr1.ads: Compile with -gnatc instead of -gnatct.
* gnat.dg/specs/limited_with4.ads: Likewise.
* gnat.dg/specs/limited_with4_pkg.ads: Likewise.
* gnat.dg/specs/private1-sub.ads: Likewise.
* gnat.dg/specs/task1.ads: Likewise.

From-SVN: r279889
gcc/testsuite/gnat.dg/specs/discr1.ads
gcc/testsuite/gnat.dg/specs/limited_with4.ads
gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads
gcc/testsuite/gnat.dg/specs/private1-sub.ads
gcc/testsuite/gnat.dg/specs/task1.ads