diff --git a/src/main/scala/leon/synthesis/SynthesisContext.scala b/src/main/scala/leon/synthesis/SynthesisContext.scala
index a872f304bb98ee4f0ddbf631433f750435d21680..812adba389500f0d03a78a03df3fb1160b1da4d2 100644
--- a/src/main/scala/leon/synthesis/SynthesisContext.scala
+++ b/src/main/scala/leon/synthesis/SynthesisContext.scala
@@ -31,15 +31,3 @@ class SynthesisContext(
   }
 
 }
-
-object SynthesisContext {
-
-  def fromSynthesizer(synth: Synthesizer) = {
-    new SynthesisContext(
-      synth.context,
-      synth.settings,
-      synth.ci.fd,
-      synth.program
-    )
-  }
-}
diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index 196637f6f65bb7a71a06daca4ef4c71f3e7f401d..624ec5eaaf0e9f717111fdb1df9d645a14f3599f 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -23,7 +23,7 @@ class Synthesizer(val context : LeonContext,
 
   val reporter = context.reporter
 
-  lazy val sctx = SynthesisContext.fromSynthesizer(this)
+  lazy val sctx = new SynthesisContext(context, settings, ci.fd, program)
 
   implicit val debugSection = leon.utils.DebugSectionSynthesis