-
dimitris authored
bug in zonking: we must zonk the kinds of existential variables even if the variables themselves will not be affected.
477946c7
bug in zonking: we must zonk the kinds of existential variables even if the variables themselves will not be affected.