diff --git a/core/src/main/scala/stainless/extraction/oo/package.scala b/core/src/main/scala/stainless/extraction/oo/package.scala
index 5831d49cd..80b4593e7 100644
--- a/core/src/main/scala/stainless/extraction/oo/package.scala
+++ b/core/src/main/scala/stainless/extraction/oo/package.scala
@@ -36,7 +36,7 @@ package object oo {
     val lowering = ExtractionPipeline(new LoweringImpl(trees, innerfuns.trees))
 
     utils.NamedPipeline("AdtSpecialization", AdtSpecialization(trees, trees)) `andThen`
-    utils.NamedPipeline("RefinementLifting", RefinementLifting(trees, trees)) `andThen`
+    //utils.NamedPipeline("RefinementLifting", RefinementLifting(trees, trees)) `andThen`
     utils.NamedPipeline("TypeEncoding",      TypeEncoding(trees, trees))      `andThen`
     utils.NamedPipeline("InvariantInitialization", InvariantInitialization(trees, trees)) `andThen`
     lowering
diff --git a/core/src/main/scala/stainless/extraction/package.scala b/core/src/main/scala/stainless/extraction/package.scala
index 558a34b36..14e088635 100644
--- a/core/src/main/scala/stainless/extraction/package.scala
+++ b/core/src/main/scala/stainless/extraction/package.scala
@@ -45,7 +45,7 @@ package object extraction {
     "ImperativeCleanup"         -> "Cleanup after imperative transformations",
     "InvariantInitialization"   -> "Add initialization for classes where all fields have default values",
     "AdtSpecialization"         -> "Specialize classes into ADTs (when possible)",
-    "RefinementLifting"         -> "Lift simple refinements to contracts",
+    //"RefinementLifting"         -> "Lift simple refinements to contracts",
     "TypeEncoding"              -> "Encode non-ADT types",
     "FunctionClosure"           -> "Lift inner functions",
     "FunctionSpecialization"    -> "Specialize functions",