And BTW, although char * aliases with any other pointer type, int* doesn't. IIRC, I saw some casts involving int*.
Samuel _______________________________________________ Bug-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-hurd
