--- gnat/snames.adb.orig Mon Jan 1 02:29:14 2007 +++ gnat/snames.adb Mon Jan 1 02:30:06 2007 @@ -355,7 +355,7 @@ "first_optional_parameter#" & "form#" & "g_float#" & - "gcc#" & + "gnatgcc#" & "gnat#" & "gpl#" & "ieee_float#" &