extra print
guyanf opened this issue · 1 comments
guyanf commented
There's an extra at line 597.Maybe used debug.
print("checked nodes:", count)
MKuranowski commented
A damn, thanks for spotting. Removed in #410e588, will push a bug-fix release.
guyanf opened this issue · 1 comments
There's an extra at line 597.Maybe used debug.
print("checked nodes:", count)
A damn, thanks for spotting. Removed in #410e588, will push a bug-fix release.