aspects.adb, [...]: Remove all entries for Refined_Pre from the various tables.

[gcc.git] / gcc / ada / sem_prag.ads

diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads
index 9f88638e921eb2f109c639f7fd0682d32690c9dc..c03799dd56fee42df95be500fbfbeb73603b9ee9 100644 (file)
--- a/gcc/ada/sem_prag.ads
+++ b/gcc/ada/sem_prag.ads
@@ -41,7 +41,6 @@ package Sem_Prag is
      (Pragma_Refined_Depends => True,
       Pragma_Refined_Global  => True,
       Pragma_Refined_Post    => True,
-      Pragma_Refined_Pre     => True,
       Pragma_SPARK_Mode      => True,
       Pragma_Warnings        => True,
       others                 => False);