From: mockturtle <framefritti@gmail.com>
Subject: Re: Body mistaken for specs
Date: Wed, 7 Nov 2018 06:39:34 -0800 (PST)
Date: 2018-11-07T06:39:34-08:00 [thread overview]
Message-ID: <258737e7-e243-47a4-87df-3da25fd6d92c@googlegroups.com> (raw)
In-Reply-To: <c9ad838b-c59d-4eaf-86f1-ab4eea3c0ef7@googlegroups.com>
On Tuesday, November 6, 2018 at 6:39:51 PM UTC+1, briot.e...@gmail.com wrote:
> I had indeed a similar error with a compiler that was from 2017-06.
> I had reported that to AdaCore on 2018-05, and it was already fixed in the versions at the time.
>
> So it might indeed be fixed in the 2017 GPL version, but was buggy in 2016.
> It might also not have made it to a public version yet (I am a supported customer so get access to more recent versions)
>
> Emmanuel
After a while I have been able to download ad install the latest version and the problem disappeared, so yes, it was a bug. I wanted to reply to my own question with the result, but I can get on cla joust now.
Riccardo
prev parent reply other threads:[~2018-11-07 14:39 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-11-06 10:23 Body mistaken for specs mockturtle
2018-11-06 17:39 ` briot.emmanuel
2018-11-07 14:39 ` mockturtle [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox