diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 7c8098efb987948cf84e8ab11604f38e1b3eec97..5be1d35373166613fae809b8a1f5a151321debac 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