From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=3.0 tests=AC_FROM_MANY_DOTS,BAYES_00,
	T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6
Path: eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed1-b.proxad.net!nnrp1-1.free.fr!not-for-mail
From: Thomas <fantome.forums.tDeContes@free.fr.invalid>
Newsgroups: comp.lang.ada
Mail-Copies-To: nobody
Subject: gnatstub
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 7bit
User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X)
Date: Thu, 23 Mar 2023 20:18:55 +0100
Message-ID: <641ca620$0$3207$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 23 Mar 2023 20:18:56 CET
NNTP-Posting-Host: 91.175.52.121
X-Trace: 1679599136 news-1.free.fr 3207 91.175.52.121:8241
X-Complaints-To: abuse@proxad.net
Xref: feeder.eternal-september.org comp.lang.ada:65016
List-Id: <comp.lang.ada>

hi :-)


i have gnatstub 4.9.3 (Ubuntu 16), i can't get an earlier version yet.

does someone succeeded in use of this version of gnatstub ?


my problem :
i don't succeed to workaround this error :

+===========================ASIS BUG 
DETECTED==============================+
| ASIS 2.0.R for GNAT 4.9.3 CONSTRAINT_ERROR a4g-gnat_int.adb:242 range 
check failed|
| when processing A4G.Contt.SD.Read_and_Check_New (tree file 
/home/a/rapid/test/src/peers/stub/mcc.adt)|


would anyone have a workaround please?
it would avoid me to make all by hand :-)

-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/