From 8c341973bd8b2477363a8e4044475e80a162ee06 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 14 Nov 2012 21:46:24 +0100
Subject: [PATCH] woops
---
src/main/scala/leon/synthesis/Rules.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/Rules.scala b/src/main/scala/leon/synthesis/Rules.scala
index 8fd86f53c..dfdbe94b8 100644
--- a/src/main/scala/leon/synthesis/Rules.scala
+++ b/src/main/scala/leon/synthesis/Rules.scala
@@ -441,7 +441,7 @@ class CEGIS(synth: Synthesizer) extends Rule("CEGIS", synth, 150) {
result = Some(RuleSuccess(Solution(BooleanLiteral(true), Set(), Tuple(p.xs.map(valuateWithModel(mapping))).setType(tpe))))
case _ =>
- reporter.warning("Solver returned 'UNKNOWN' in a CEGIS iteration.")
+ synth.reporter.warning("Solver returned 'UNKNOWN' in a CEGIS iteration.")
continue = false
}
--
GitLab