From b1119ef4c4daadefbf04e318f7be284c1fc0be7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Mon, 26 Mar 2012 19:56:45 +0200
Subject: [PATCH] printing unit type
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 0e2015591..dc287b62d 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -334,6 +334,7 @@ object PrettyPrinter {
private def pp(tpe: TypeTree, sb: StringBuffer, lvl: Int): StringBuffer = tpe match {
case Untyped => sb.append("???")
+ case UnitType => sb.append("Unit")
case Int32Type => sb.append("Int")
case BooleanType => sb.append("Boolean")
case SetType(bt) => pp(bt, sb.append("Set["), lvl).append("]")
--
GitLab