On Mon, Oct 07, 2002 at 11:26:06PM -0700, Zack Weinberg wrote: > Well, it _should_, but the reality is that comperr.adb intercepts > internal_error() and prints out a different message - which is out of > date (PR ada/5856 is related). Oh. I thought this had been fixed. Blah. Nevermind. Go ahead with your patch. r~