Skip to content
Back to pull request #20494

Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #32564

Sign in to view logs

Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType)

Expr#show: Don't crash when the expression contains an unsupported type (like a SkolemType) #32564

This job was skipped