src/main/scala/leon/purescala/SelfPrettyPrinter.scala · 8424cae58aeb7882c80a7000719715a3bd08af7f · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
8424cae5
Fixed ExprOps.isValue for covariant/contravariant function types. · 8424cae5
Mikaël Mayer authored 9 years ago
```
Fixed SelfPrettyPrinter to not evaluate the argument again.
Removed unused debug variable.
```
8424cae5

History
Fixed ExprOps.isValue for covariant/contravariant function types.
Mikaël Mayer authored 9 years ago
```
Fixed SelfPrettyPrinter to not evaluate the argument again.
Removed unused debug variable.
```