diff --git a/src/main/scala/leon/synthesis/Rules.scala b/src/main/scala/leon/synthesis/Rules.scala index 8fd86f53cdb8e468704ce60e24fb6186aad6ad3b..dfdbe94b80b7e042864ed70b589d38fbdbb66a82 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 }