Bug#497620: cannot reproduce with 4.6

To: 497620@bugs.debian.org
Subject: Bug#497620: cannot reproduce with 4.6
From: Nicolas Boulenguez <nicolas.boulenguez@free.fr>
Date: Tue, 6 Sep 2011 01:11:19 +0200
Message-id: <[🔎] 20110905231119.GA12906@pegase>
Reply-to: Nicolas Boulenguez <nicolas.boulenguez@free.fr>, 497620@bugs.debian.org

Gnat 4.6.1 does not crash on this source.

Reply to: