diff --git a/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala b/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala
index d29e49aa29..153fe1ed31 100644
--- a/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala
+++ b/frontends/common/src/it/scala/stainless/verification/ComponentTestSuite.scala
@@ -13,7 +13,6 @@ trait ComponentTestSuite extends inox.TestSuite with inox.ResourceUtils with Inp
     Seq(
       inox.optTimeout(300.seconds),
       inox.optSelectedSolvers(Set("smt-z3")),
-      inox.solvers.unrolling.optMaxUnfoldSteps(1),
       verification.optStrictArithmetic(false),
     )
   )