Call the correct generic "solve a type" method in UnsolvedSymbolVisitor when using the NA modularity model#345

Merged

kelloggm merged 3 commits intomainfrom primitive-fields

Jul 30, 2024

+7-8

Commits on Jul 30, 2024

use the existing resolve method that I wrote earlier, instead of some bespoke dumb thing. This fixes NA-347 (with the modularity model changes in specimin-evaluation#9)
kelloggm
committed
na-323 is now passing
kelloggm
committed
Merge branch 'main' of github.com:kelloggm/specimin into primitive-fields
kelloggm
committed