From 9675f36baf5ae13d3c2150dcdc1cc68004102f8f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 9 May 2012 22:06:19 +0000
Subject: [PATCH] remove type information debug message
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index ae42766f9..cd3df3797 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -66,7 +66,7 @@ object PrettyPrinter {
}
private def pp(tree: Expr, sb: StringBuffer, lvl: Int): StringBuffer = tree match {
- case Variable(id) => sb.append(id + "#" + id.getType)
+ case Variable(id) => sb.append(id)
case DeBruijnIndex(idx) => sb.append("_" + idx)
case Let(b,d,e) => {
//pp(e, pp(d, sb.append("(let (" + b + " := "), lvl).append(") in "), lvl).append(")")
@@ -139,10 +139,10 @@ object PrettyPrinter {
sb.append("\n")
}
- case t@Tuple(exprs) => ppNary(sb, exprs, "(", ", ", ")#" + t.getType, lvl)
+ case t@Tuple(exprs) => ppNary(sb, exprs, "(", ", ", ")", lvl)
case s@TupleSelect(t, i) => {
pp(t, sb, lvl)
- sb.append("._" + i + "#" + s.getType)
+ sb.append("._" + i)
sb
}
--
GitLab