Merge pull request #1276 from utwente-fmt/veymont-remove-pushinchor

VeyMont: remove PushInChor
utwente-fmt · Nov 6, 2024 · 80f8cbe · 80f8cbe
2 parents a7ad6af + a6f2dca
commit 80f8cbe
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 75 deletions.
diff --git a/src/main/vct/main/stages/Transformation.scala b/src/main/vct/main/stages/Transformation.scala
@@ -376,7 +376,6 @@ case class SilverTransformation(
         BranchToIfElse,
         GenerateSingleOwnerPermissions.withArg(generatePermissions),
         InferEndpointContexts,
-        PushInChor.withArg(generatePermissions),
         StratifyExpressions,
         StratifyUnpointedExpressions,
         DeduplicateChorGuards,

diff --git a/src/rewrite/vct/rewrite/veymont/verification/PushInChor.scala b/src/rewrite/vct/rewrite/veymont/verification/PushInChor.scala