Closed guyanf closed 4 years ago
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.
There's an extra at line 597.Maybe used debug.
print("checked nodes:", count)