diff --git a/src/main/scala/leon/utils/PreprocessingPhase.scala b/src/main/scala/leon/utils/PreprocessingPhase.scala
index 558f4a32c1c19441126bdaa28e63823da8a49650..5475e0c4db4b65c9f7dcd37d630e32104c32fcb9 100644
--- a/src/main/scala/leon/utils/PreprocessingPhase.scala
+++ b/src/main/scala/leon/utils/PreprocessingPhase.scala
@@ -35,7 +35,7 @@ class PreprocessingPhase(genc: Boolean = false) extends LeonPhase[Program, Progr
     def pipeEnd = (
       InjectAsserts  andThen
       FunctionClosure andThen
-      XLangCleanupPhase andThen
+      //XLangCleanupPhase andThen
       AdaptationPhase
     ) when (!genc)