diff --git a/src/test/scala/leon/test/codegen/CodeGenTests.scala b/src/test/scala/leon/test/codegen/CodeGenTests.scala
index e3b3b6968362f3c4030318967cd78ebf82cadf87..af02b00a9f56e09c9f8a9ebad3247ce3d8d95bf9 100644
--- a/src/test/scala/leon/test/codegen/CodeGenTests.scala
+++ b/src/test/scala/leon/test/codegen/CodeGenTests.scala
@@ -27,11 +27,7 @@ class CodeGenTests extends test.LeonTestSuite {
   val pipeline = 
     utils.TemporaryInputPhase andThen
     frontends.scalac.ExtractionPhase andThen
-    utils.ScopingPhase andThen
-    purescala.MethodLifting andThen
-    utils.TypingPhase andThen
-    purescala.CompleteAbstractDefinitions andThen
-    purescala.RestoreMethods
+    utils.PreprocessingPhase
 
   def compileTestFun(p : Program, toTest : String, ctx : LeonContext, requireMonitor : Boolean, doInstrument : Boolean) : ( Seq[Expr] => EvaluationResults.Result) = {
     // We want to produce code that checks contracts