diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index b1840d8d81ce4cf2067be45bfd75b6dc0aeb0c8d..5753d8642406ad3f393efd82cdf0e0e1133d10bc 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -175,7 +175,7 @@ object Main {
           ExtractionPhase andThen
           debugTrees("Program after extraction") andThen
           PreprocessingPhase andThen
-          debugTrees("Program after pre-processing")
+          debugTrees("Program after pre-processing") andThen
           xlang.NoXLangFeaturesChecking
 
       val pipeProcess: Pipeline[Program, Any] = {