diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala index 01faa34c23aa6c601d0517362fb8622d5cd1a86d..2d40c6fd445f87c229a223d084f9baa42ca47796 100644 --- a/src/main/scala/leon/synthesis/Synthesizer.scala +++ b/src/main/scala/leon/synthesis/Synthesizer.scala @@ -12,7 +12,6 @@ import leon.utils._ import scala.concurrent.duration._ -import synthesis.graph._ import synthesis.strategies._ class Synthesizer(val context : LeonContext, @@ -44,7 +43,7 @@ class Synthesizer(val context : LeonContext, strat1 } - new Search(context, ci, problem, strat1) + new Search(context, ci, problem, strat2) } private var lastTime: Long = 0