diff --git a/frontends/benchmarks/verification/valid/MonadicTry2.scala b/frontends/benchmarks/verification/valid/MonadicTry2.scala
index aa8f8bd00..52c0b7e10 100644
--- a/frontends/benchmarks/verification/valid/MonadicTry2.scala
+++ b/frontends/benchmarks/verification/valid/MonadicTry2.scala
@@ -2,7 +2,6 @@
 
 import stainless.lang._
 import stainless.proof._
-import scala.collection.immutable.Range.BigInt
 
 object MonadicTry2 {