Update PumpSpec.scala

itu-square · Mar 4, 2023 · ea85651 · ea85651
1 parent b2dbcc2
commit ea85651
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/test/scala/symsim/examples/concrete/pumping/PumpSpec.scala b/src/test/scala/symsim/examples/concrete/pumping/PumpSpec.scala
@@ -10,7 +10,6 @@ import prop.*
 import org.scalacheck.Arbitrary.*
 import org.scalacheck.Gen
 import org.scalatest.prop.Whenever
-import org.scalatest.*
 import org.scalacheck.Prop.{forAll, forAllNoShrink, propBoolean, exists}
 import examples.concrete.pumping.*