From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,221c61113210e0ef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.191.137 with SMTP id gy9mr1603393pbc.0.1344322788109;
        Mon, 06 Aug 2012 23:59:48 -0700 (PDT)
Path: 
 g9ni2984088pbo.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!ctu-peer!ctu-gate!news.nctu.edu.tw!usenet.stanford.edu!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: awdorrin <awdorrin@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: astyle/cindent for Ada?
Date: Tue, 31 Jul 2012 07:56:38 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <87e01249-b22b-4cc3-a1c7-a00b5cb9252d@googlegroups.com>
References: <2df5566c-c219-4226-b41e-78ed47190bc4@googlegroups.com>
 <87txwtp074.fsf@ludovic-brenta.org>
 <465a69d5-f9b5-4d56-aa0a-4c91b6f093de@googlegroups.com>
 <a9900252-39ff-45b9-b66a-b449bd5e7870@googlegroups.com>
NNTP-Posting-Host: 192.91.173.36
Mime-Version: 1.0
X-Trace: posting.google.com 1343747009 13407 127.0.0.1 (31 Jul 2012 15:03:29
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 31 Jul 2012 15:03:29 +0000 (UTC)
In-Reply-To: <a9900252-39ff-45b9-b66a-b449bd5e7870@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=192.91.173.36;
 posting-account=YkFdLgoAAADpWnfCBA6ZXMWTz2zHNd0j
User-Agent: G2/1.0
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-07-31T07:56:38-07:00
List-Id: <comp.lang.ada>

Adding '-cargs -gnatI' - to ignore the rep-specs - 'gnatpp' appears to work properly.

Still not sure why 'gnatpp' is seeing the rep-spec as bad, while gnatmake does not see any issues with it...