stdint.h is not an ANSI standard header, and the problem you are describing is basically an upstream one. So, I'll include it on windows only.
Christian. _______________________________________________ Bug-gnubg mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnubg
