better printing for epsilons

1069b821 · Régis Blanc · Ravi · 7ae01ef7 · 1069b821
Commit 1069b821 authored 9 years ago by Régis Blanc Committed by Ravi 9 years ago
--- 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