Add missing case to saw-core typechecker unification algorithm
Add missing case to saw-core typechecker unification algorithm

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script