>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:

Tom> I didn't read this in enough detail to verify that all that you
Tom> did was remove the `if'.  However, I assume that is so.  

Yep, it is.

Reply via email to