diff --git a/src/main/scala/leon/synthesis/Solution.scala b/src/main/scala/leon/synthesis/Solution.scala
index affa41df46292ae73a6b9a87150283ec8c0ee997..24a518fa938cbecd1bfb3c82e2c3194b33a8f12a 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!"))
   }
 }