better printing for epsilons

2307171f · Régis Blanc · 188bb0f3 · 2307171f
Commit 2307171f authored 9 years ago by Régis Blanc
--- a/src/main/scala/leon/xlang/Expressions.scala
+++ b/src/main/scala/leon/xlang/Expressions.scala
@@ -100,7 +100,7 @@ object Expressions {
    }

    def printWith(implicit pctx: PrinterContext) {
-      p"epsilon(x${getPos.line}_${getPos.col}. $pred)"
+      p"epsilon(x${getPos.line}_${getPos.col} => $pred)"
    }

    val getType = tpe