From e9c6bb460b440029cf49641cd613d9bff08d299f Mon Sep 17 00:00:00 2001
From: Eric Botcazou <ebotcazou@gcc.gnu.org>
Date: Sun, 5 Jan 2020 16:02:53 +0000
Subject: [PATCH] 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            | 2 +-
 gcc/testsuite/gnat.dg/specs/limited_with4.ads     | 2 +-
 gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads | 2 +-
 gcc/testsuite/gnat.dg/specs/private1-sub.ads      | 2 +-
 gcc/testsuite/gnat.dg/specs/task1.ads             | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/gcc/testsuite/gnat.dg/specs/discr1.ads b/gcc/testsuite/gnat.dg/specs/discr1.ads
index 2e02076..1e01cbd 100644
--- a/gcc/testsuite/gnat.dg/specs/discr1.ads
+++ b/gcc/testsuite/gnat.dg/specs/discr1.ads
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnatct" }
+-- { dg-options "-gnatc" }
 
 with Discr1_Pkg; use Discr1_Pkg;
 
diff --git a/gcc/testsuite/gnat.dg/specs/limited_with4.ads b/gcc/testsuite/gnat.dg/specs/limited_with4.ads
index e182571..53fb676 100644
--- a/gcc/testsuite/gnat.dg/specs/limited_with4.ads
+++ b/gcc/testsuite/gnat.dg/specs/limited_with4.ads
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnat12 -gnatct" }
+-- { dg-options "-gnatc" }
 
 with Ada.Containers.Vectors;
 with Limited_With4_Pkg;
diff --git a/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads b/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads
index f69ab47..3d690bd 100644
--- a/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads
+++ b/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnat12 -gnatct" }
+-- { dg-options "-gnatc" }
 
 limited with Limited_With4;
 
diff --git a/gcc/testsuite/gnat.dg/specs/private1-sub.ads b/gcc/testsuite/gnat.dg/specs/private1-sub.ads
index 0dcbbd0..ea70d4a 100644
--- a/gcc/testsuite/gnat.dg/specs/private1-sub.ads
+++ b/gcc/testsuite/gnat.dg/specs/private1-sub.ads
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnatct" }
+-- { dg-options "-gnatc" }
 
 package Private1.Sub is
 
diff --git a/gcc/testsuite/gnat.dg/specs/task1.ads b/gcc/testsuite/gnat.dg/specs/task1.ads
index c108d29..b1bd9a4 100644
--- a/gcc/testsuite/gnat.dg/specs/task1.ads
+++ b/gcc/testsuite/gnat.dg/specs/task1.ads
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnatct" }
+-- { dg-options "-gnatc" }
 
 package Task1 is
 
-- 
2.7.4