From ae8dabd6e85a7f48072fb9c14ce523ecca54f891 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 7 Mar 2016 15:42:07 +0100
Subject: [PATCH] Decouple definitions of Synthesizer/SynthesisContext
---
src/main/scala/leon/synthesis/SynthesisContext.scala | 12 ------------
src/main/scala/leon/synthesis/Synthesizer.scala | 2 +-
2 files changed, 1 insertion(+), 13 deletions(-)
diff --git a/src/main/scala/leon/synthesis/SynthesisContext.scala b/src/main/scala/leon/synthesis/SynthesisContext.scala
index a872f304b..812adba38 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 196637f6f..624ec5eaa 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
--
GitLab