Change anySucc to succ

utwente-fmt · Jun 22, 2023 · 568a451 · 568a451
1 parent 1216231
commit 568a451
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.mill-version b/.mill-version
@@ -1 +1 @@
-0.11.0-M11
+0.11.0
diff --git a/src/rewrite/vct/rewrite/EncodeRangedFor.scala b/src/rewrite/vct/rewrite/EncodeRangedFor.scala
@@ -18,7 +18,7 @@ case class EncodeRangedFor[Pre <: Generation]() extends Rewriter[Pre] {
   override def dispatch(stat: Statement[Pre]): Statement[Post] = stat match {
     case rf @ RangedFor(iv @ IterVariable(iVar, from, to), contract, body) =>
       implicit val o = iVar.o
-      val i = Local[Post](anySucc[Variable[Post]](iVar))(iVar.o)
+      val i: Local[Post] = Local(succ[Variable[Post]](iVar))(iVar.o)
       Loop(
         Block(Seq(
           LocalDecl(variables.collect(dispatch(iVar))._1.head),