diff --git a/src/main/scala/leon/xlang/Expressions.scala b/src/main/scala/leon/xlang/Expressions.scala
index 20e14ed1f0bd0badefa1ffd7c44168c4909b9b27..6426550620149de3d099e4cff99486ab327da5f5 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