From c5b2ecbf35597d93216e3d280f431677630947ea Mon Sep 17 00:00:00 2001 From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch> Date: Thu, 14 Jan 2016 17:24:56 +0100 Subject: [PATCH] Simplify this --- src/main/scala/leon/synthesis/rules/CEGLESS.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/leon/synthesis/rules/CEGLESS.scala b/src/main/scala/leon/synthesis/rules/CEGLESS.scala index e2e8c9fab..c12edac07 100644 --- a/src/main/scala/leon/synthesis/rules/CEGLESS.scala +++ b/src/main/scala/leon/synthesis/rules/CEGLESS.scala @@ -30,7 +30,7 @@ case object CEGLESS extends CEGISLike[NonTerminal[String]]("CEGLESS") { } } - val guidedGrammar = guides.map(SimilarTo(_, inputs.toSet, sctx, p)).foldLeft[ExpressionGrammar[NonTerminal[String]]](Empty())(_ || _) + val guidedGrammar = Union(guides.map(SimilarTo(_, inputs.toSet, sctx, p))) CegisParams( grammar = guidedGrammar, -- GitLab