From 9e0320a4b6a5ba276814f2bedd12982e1ce728f9 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 26 Feb 2016 17:41:42 +0100
Subject: [PATCH] Don't print expressions inside error()
---
src/main/scala/leon/synthesis/Solution.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/Solution.scala b/src/main/scala/leon/synthesis/Solution.scala
index affa41df4..24a518fa9 100644
--- a/src/main/scala/leon/synthesis/Solution.scala
+++ b/src/main/scala/leon/synthesis/Solution.scala
@@ -96,6 +96,6 @@ object Solution {
def UNSAT(implicit p: Problem): Solution = {
val tpe = tupleTypeWrap(p.xs.map(_.getType))
- Solution(BooleanLiteral(false), Set(), Error(tpe, p.phi+" is UNSAT!"))
+ Solution(BooleanLiteral(false), Set(), Error(tpe, "Path condition is UNSAT!"))
}
}
--
GitLab