Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[issue1151] Improve error message when passing a heuristic to --search.
Previously, the planner crashed with a bad anycast in cases where the argument of `--search` could be parsed but had the wrong type, e.g. `--search "lmcut()"`.
- Loading branch information