aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/erroutc.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/erroutc.adb')
-rw-r--r--gcc/ada/erroutc.adb3
1 files changed, 0 insertions, 3 deletions
diff --git a/gcc/ada/erroutc.adb b/gcc/ada/erroutc.adb
index a14037c..b77d53d 100644
--- a/gcc/ada/erroutc.adb
+++ b/gcc/ada/erroutc.adb
@@ -512,9 +512,6 @@ package body Erroutc is
-- so now we output a tab to match up with the text.
if Src (P) = ASCII.HT then
- pragma Annotate
- (CodePeer, False_Positive, "validity check",
- "Src(P) is initialized at this point");
Write_Char (ASCII.HT);
P := P + 1;