src/main/scala/leon/purescala/PrettyPrinter.scala · 1b76c91af5f0c84831e178b9464325aabb7e8e0f · LARA / inox

9 years ago

Etienne Kneuss authored 9 years ago

Companion objects to lift methods
Remove standalone objects, they become isPackageObject

1b76c91a

Etienne Kneuss authored 9 years ago

Companion objects to lift methods
Remove standalone objects, they become isPackageObject

PrettyPrinter.scala 24.08 KiB