Skip to content

Move has_visited check to the top of the loop in backtrack::Bounded::step#384

Merged
bors merged 1 commit intorust-lang:masterfrom
adamcrume:master
Jun 23, 2017
Merged

Move has_visited check to the top of the loop in backtrack::Bounded::step#384
bors merged 1 commit intorust-lang:masterfrom
adamcrume:master

Commits

Commits on Jun 20, 2017