From e46218297322cc966f535238825cf0697cdb6ccb Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 24 Oct 2012 18:43:07 +0200
Subject: [PATCH] Detail
---
src/main/scala/leon/plugin/AnalysisComponent.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/plugin/AnalysisComponent.scala b/src/main/scala/leon/plugin/AnalysisComponent.scala
index 2d2ea4143..06911caee 100644
--- a/src/main/scala/leon/plugin/AnalysisComponent.scala
+++ b/src/main/scala/leon/plugin/AnalysisComponent.scala
@@ -50,12 +50,13 @@ class AnalysisComponent(val global: Global, val leonReporter: Reporter, val plug
Nil
}
,
- if (Settings.synthesis)
+ if (Settings.synthesis) {
List(
SynthesisPhase
)
- else
+ } else {
Nil
+ }
,
if (!Settings.stopAfterTransformation) {
List(
--
GitLab