From 307370191518a778cd016de996c03c05c3990e95 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 5 May 2015 11:28:17 +0200
Subject: [PATCH] No XLang should be checked if --xlang is off
---
src/main/scala/leon/Main.scala | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 7c8098efb..5be1d3537 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -160,11 +160,11 @@ object Main {
val pipeBegin: Pipeline[List[String], Program] =
if (xlangF)
ExtractionPhase andThen
- PreprocessingPhase andThen
- xlang.NoXLangFeaturesChecking
+ PreprocessingPhase
else
ExtractionPhase andThen
- PreprocessingPhase
+ PreprocessingPhase andThen
+ xlang.NoXLangFeaturesChecking
val pipeProcess: Pipeline[Program, Any] = {
if (noopF) RestoreMethods andThen FileOutputPhase
--
GitLab