diff --git a/src/main/scala/leon/synthesis/SimpleSearch.scala b/src/main/scala/leon/synthesis/SimpleSearch.scala
index d3ddd51539a277703c6610a13e560b83c4fe56c6..d2b658bb2ea4abddfdf2f9d9d8f501ffc8a5f45e 100644
--- a/src/main/scala/leon/synthesis/SimpleSearch.scala
+++ b/src/main/scala/leon/synthesis/SimpleSearch.scala
@@ -71,6 +71,8 @@ class SimpleSearch(synth: Synthesizer,
   var shouldStop = false
 
   def search(): Option[Solution] = {
+    sctx.solver.init()
+
     shouldStop = false
 
     while (!g.tree.isSolved && !shouldStop) {