What steps will reproduce the problem?
1. Try to compile with any other headed that defines "find_node".
2.
3.
What is the expected output? What do you see instead?
What version of the product are you using? On what operating system?
Please provide any additional information below.
I think that since it returns a cnfnode*, the function could reasonably be
renamed to find_cnfnode.
Patch attached.
Original issue reported on code.google.com by bruce.e...@gmail.com on 25 Jul 2008 at 8:16
Original issue reported on code.google.com by
bruce.e...@gmail.com
on 25 Jul 2008 at 8:16Attachments: