Fix QuantifierRef.sort to return the correct sort for lambda expressions - #115
Open
msakai wants to merge 1 commit into
Open
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
