From 568a451fc053c152a849c0a89fbabd9b007964e2 Mon Sep 17 00:00:00 2001 From: Bob Rubbens Date: Thu, 22 Jun 2023 13:40:29 +0200 Subject: [PATCH] Change anySucc to succ --- .mill-version | 2 +- src/rewrite/vct/rewrite/EncodeRangedFor.scala | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.mill-version b/.mill-version index 1f2780b9d6..d9df1bbc0c 100644 --- a/.mill-version +++ b/.mill-version @@ -1 +1 @@ -0.11.0-M11 \ No newline at end of file +0.11.0 diff --git a/src/rewrite/vct/rewrite/EncodeRangedFor.scala b/src/rewrite/vct/rewrite/EncodeRangedFor.scala index 826fb8baa8..71d1cdd8d9 100644 --- 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),