Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Symbol specialization in
auto_optimizer()
never took effect. (#1410)
The `dict` that was storing all the symbols, `known_symbols`, was emptied just after its creation. The efect was that the specialization never took effect. --------- Co-authored-by: Philipp Schaad <schaad.phil@gmail.com>
- Loading branch information