Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix missing database check when doing RL without a given database
This fixes commands like: assume -s example_02a -c tiny
- Loading branch information