Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Second fix for symbol specialization in
auto_optimizer()
.
After looking again at the code I realized that I should have deleted the other definition of `known_symbols`.
- Loading branch information