From 58e83421e3306480b8c02235c0b026348b93f705 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 23 Oct 2012 04:49:20 +0200
Subject: [PATCH] Meh
---
src/main/scala/leon/synthesis/Synthesizer.scala | 2 +-
src/main/scala/leon/synthesis/Task.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index 754c740f0..44a049134 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -42,7 +42,7 @@ class Synthesizer(val r: Reporter, val solvers: List[Solver]) {
// We are stuck
if (alternatives.isEmpty) {
val sol = Solution.choose(task.problem)
- warning(" => I give up: "+task+" ⊢ "+sol)
+ warning(" => I give up: "+task.problem+" ⊢ "+sol)
onTaskSucceeded(task, sol)
}
}
diff --git a/src/main/scala/leon/synthesis/Task.scala b/src/main/scala/leon/synthesis/Task.scala
index 71e0f4f18..53e09bc98 100644
--- a/src/main/scala/leon/synthesis/Task.scala
+++ b/src/main/scala/leon/synthesis/Task.scala
@@ -8,7 +8,7 @@ class Task(val synth: Synthesizer,
def compare(that: Task) = this.score - that.score
- override def toString = "("+score+") " +problem
+ override def toString = " Task("+score+"): " +problem
}
class DecomposedTask(synth: Synthesizer,
--
GitLab