fix #646

utwente-fmt · Oct 4, 2022 · 79047a1 · 79047a1
1 parent 4bde1c6
commit 79047a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rewrite/src/main/java/vct/col/rewrite/lang/LangPVLToCol.scala b/rewrite/src/main/java/vct/col/rewrite/lang/LangPVLToCol.scala
@@ -63,7 +63,7 @@ case class LangPVLToCol[Pre <: Generation](rw: LangSpecificToCol[Pre]) extends L
           UnitAccountedPredicate(AstBuildHelpers.foldStar(cls.declarations.collect {
             case field: InstanceField[Pre] =>
               fieldPerm[Post](result, rw.succ(field), WritePerm())
-          })), tt, Nil, Nil, Nil, None,
+          }) &* IdleToken(result)), tt, Nil, Nil, Nil, None,
         )(TrueSatisfiable)
       )(defaultBlame)))
     }