From 4bfb13abfa583bb5ea8f72c14bb42e7dda17f560 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 4 May 2012 06:42:49 +0000
Subject: [PATCH] cleaning code
---
src/main/scala/leon/ArrayTransformation.scala | 1 -
src/main/scala/leon/purescala/PrettyPrinter.scala | 6 +++---
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/main/scala/leon/ArrayTransformation.scala b/src/main/scala/leon/ArrayTransformation.scala
index 75ce22ff0..3927d1ff9 100644
--- a/src/main/scala/leon/ArrayTransformation.scala
+++ b/src/main/scala/leon/ArrayTransformation.scala
@@ -38,7 +38,6 @@ object ArrayTransformation extends Pass {
} else fd
} else fd
})
- println(newFuns)
allFuns.zip(newFuns).foreach{ case (ofd, nfd) => ofd.body.map(body => {
val newBody = transform(body)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index b0b0bba08..c4b6b4fc9 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -258,7 +258,7 @@ object PrettyPrinter {
pp(size, sb, lvl)
sb.append(")(")
pp(v, sb, lvl)
- sb.append(")#" + fill.getType)
+ sb.append(")")
}
case am@ArrayMake(v) => {
sb.append("Array.make(")
@@ -269,7 +269,7 @@ object PrettyPrinter {
pp(ar, sb, lvl)
sb.append("(")
pp(i, sb, lvl)
- sb.append(")#" + sel.getType)
+ sb.append(")")
}
case up@ArrayUpdate(ar, i, v) => {
pp(ar, sb, lvl)
@@ -284,7 +284,7 @@ object PrettyPrinter {
pp(i, sb, lvl)
sb.append(", ")
pp(v, sb, lvl)
- sb.append(")#" + up.getType)
+ sb.append(")")
}
case Distinct(exprs) => {
--
GitLab