From 9762d683a0bce83ea7337b6d94acd1c94bc4649c Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 7 Oct 2015 14:01:37 +0200
Subject: [PATCH] FunctionClosure can be an object now
---
src/main/scala/leon/Main.scala | 2 +-
src/main/scala/leon/purescala/FunctionClosure.scala | 2 +-
src/main/scala/leon/utils/PreprocessingPhase.scala | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 7c6b58478..b29f017c6 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -17,7 +17,7 @@ object Main {
xlang.ImperativeCodeElimination,
xlang.FixReportLabels,
xlang.XLangDesugaringPhase,
- new purescala.FunctionClosure,
+ purescala.FunctionClosure,
synthesis.SynthesisPhase,
termination.TerminationPhase,
verification.AnalysisPhase,
diff --git a/src/main/scala/leon/purescala/FunctionClosure.scala b/src/main/scala/leon/purescala/FunctionClosure.scala
index 4ee1f8938..8e119a300 100644
--- a/src/main/scala/leon/purescala/FunctionClosure.scala
+++ b/src/main/scala/leon/purescala/FunctionClosure.scala
@@ -12,7 +12,7 @@ import leon.purescala.Common.Identifier
import leon.purescala.Types.TypeParameter
import utils.GraphOps._
-class FunctionClosure extends TransformationPhase {
+object FunctionClosure extends TransformationPhase {
override val name: String = "Function Closure"
override val description: String = "Closing function with its scoping variables"
diff --git a/src/main/scala/leon/utils/PreprocessingPhase.scala b/src/main/scala/leon/utils/PreprocessingPhase.scala
index 672999a10..38b770ba1 100644
--- a/src/main/scala/leon/utils/PreprocessingPhase.scala
+++ b/src/main/scala/leon/utils/PreprocessingPhase.scala
@@ -48,7 +48,7 @@ class PreprocessingPhase(private val desugarXLang: Boolean = false) extends Leon
val phases =
pipeBegin andThen
pipeX andThen
- new FunctionClosure andThen
+ FunctionClosure andThen
AdaptationPhase andThen
debugTrees("Program after pre-processing")
--
GitLab