Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove special case for running solver with no targets
The TODO deleted in 4d3f7b5 suggests that the special case was only needed for the top-down solver, which has been removed.
- Loading branch information