Fix QuantifierRef.sort to return the correct sort for lambda expressions - #115
Closed
msakai wants to merge 1 commit into
Closed
Fix QuantifierRef.sort to return the correct sort for lambda expressions#115msakai wants to merge 1 commit into
msakai wants to merge 1 commit into
