From 2307171f9fd51035776ef22fa4029aa478ea81cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Tue, 12 Apr 2016 22:02:34 +0200
Subject: [PATCH] better printing for epsilons
---
src/main/scala/leon/xlang/Expressions.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/xlang/Expressions.scala b/src/main/scala/leon/xlang/Expressions.scala
index 20e14ed1f..642655062 100644
--- 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
--
GitLab