------- Comment #3 from ludovic at ludovic-brenta dot org 2007-05-31 14:51 ------- Confirmed in Debian 4.1.1-22:
+===========================GNAT BUG DETECTED==============================+ | 4.1.2 20061115 (prerelease) (Debian 4.1.1-22) (x86_64-pc-linux-gnu) | | Assert_Failure einfo.adb:550 | | Error detected at dm-tools.adb:4:16 | Someone, please update the "known to fail" line to 3.3.4, 4.0.0, 4.1.1 as I don't have the permission to do so myself. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16525
