Skip to content

Commit

Permalink
Update MonadicTry2.scala
Browse files Browse the repository at this point in the history
  • Loading branch information
@samuelchassot @vkuncak
samuelchassot authored and vkuncak committed May 3, 2024
1 parent ab09a8e commit 47806ea
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion frontends/benchmarks/verification/valid/MonadicTry2.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@

import stainless.lang._
import stainless.proof._
import scala.collection.immutable.Range.BigInt

object MonadicTry2 {

Expand Down

0 comments on commit 47806ea

Please sign in to comment.