Closed NicolasRouquette closed 5 years ago
When the dbox is already visited, the recursive call should use queue.tail instead of queue.
queue.tail
queue
When the dbox is already visited, the recursive call should use
queue.tail
instead ofqueue
.