X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=gcc%2Fada%2Fsem_prag.ads;h=c03799dd56fee42df95be500fbfbeb73603b9ee9;hb=8b58a060443a7a04f2e1fa854ec2f9fac1a7ff1c;hp=9f88638e921eb2f109c639f7fd0682d32690c9dc;hpb=275d8313ba039f364823a74727002c3d897dbb2a;p=gcc.git

diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads
index 9f88638e921..c03799dd56f 100644
--- 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);