On Fri, 12 Feb 2010 20:13:40 -0800, Kamal Mostafa <[email protected]> wrote:
> Redefining getline() there in gtools.h will preclude source files who > include gtools.h from using the standard getline() routine, won't it? > In my opinion, changing all the references in the nauty source is a > better solution. I had just sat down to report the same conclusion :). Sometimes (usually?) the cute solution is not the correct one. OK, I took most of your patch (just not the symbols file part). Did you send it upstream yet? All the best, David -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
