From: briot.emmanuel@gmail.com
Subject: Re: Body mistaken for specs
Date: Tue, 6 Nov 2018 09:39:49 -0800 (PST)
Date: 2018-11-06T09:39:49-08:00 [thread overview]
Message-ID: <c9ad838b-c59d-4eaf-86f1-ab4eea3c0ef7@googlegroups.com> (raw)
In-Reply-To: <3342c624-59c2-4315-8433-a243e483a2e8@googlegroups.com>
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
next prev parent reply other threads:[~2018-11-06 17: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 [this message]
2018-11-07 14:39 ` mockturtle
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox