Comment 2 for bug 2059155

Revision history for this message
Pushkar Kulkarni (pushkarnk) wrote :

nauty.h defines _FILE_OFFSET_BITS to 0.