From b480c77d89213902225089afdcc02e34703f51ce Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 25 Apr 2016 14:28:04 +0200
Subject: [PATCH] Give up on strange Unicode
---
src/main/scala/leon/synthesis/Problem.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/synthesis/Problem.scala b/src/main/scala/leon/synthesis/Problem.scala
index 52f9d7bd0..46d01ece1 100644
--- a/src/main/scala/leon/synthesis/Problem.scala
+++ b/src/main/scala/leon/synthesis/Problem.scala
@@ -41,10 +41,10 @@ case class Problem(as: List[Identifier], ws: Expr, pc: Path, phi: Expr, xs: List
val ebInfo = "/"+eb.valids.size+","+eb.invalids.size+"/"
- s"""|⟦ \u0305α ${if (as.nonEmpty) as.map(_.asString).mkString(", ") else "()"}
+ s"""|⟦ α ${if (as.nonEmpty) as.map(_.asString).mkString(", ") else "()"}
| Π ${pad(" ", pcws.fullClause.asString)}
| φ ${pad(" ", phi.asString)}
- | \u0305x ${if (xs.nonEmpty) xs.map(_.asString).mkString(", ") else "()"}
+ | x ${if (xs.nonEmpty) xs.map(_.asString).mkString(", ") else "()"}
|⟧ $ebInfo""".stripMargin
}
--
GitLab