I don't think -gnatE buys you anything, as GNAT's default, static
elaboration model is more strict. Nevertheless, the following patch
(applied in Monotone in branch org.debian.gnat-gps.3.1.3) should take
care of the Program_Error.
--
Ludovic Brenta.
Index: common/src/basic_mapper.ads
===================================================================
--- common/src/basic_mapper.ads.orig 2006-10-23 09:18:37.000000000 +0200
+++ common/src/basic_mapper.ads 2006-10-23 09:18:56.000000000 +0200
@@ -24,6 +24,8 @@
with String_Hash;
with GNAT.OS_Lib; use GNAT.OS_Lib;
+pragma Elaborate_All (String_Hash);
+
package Basic_Mapper is
type File_Mapper is limited private;
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
