Merge pull request #1228 from utwente-fmt/remove-rewrite-trigger-adt-…

…functions Remove unused rewrite pass
utwente-fmt · Jul 25, 2024 · ea7341c · ea7341c
2 parents cf26fff + 5bb1b69
commit ea7341c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 42 deletions.
diff --git a/src/main/vct/main/stages/Transformation.scala b/src/main/vct/main/stages/Transformation.scala
@@ -435,7 +435,6 @@ case class SilverTransformation(
         EncodeForPermWithValue,
         EncodeAutoValue,
         ExtractInlineQuantifierPatterns,
-        RewriteTriggerADTFunctions,
         MonomorphizeContractApplicables,
 
         // Silver compat (basically no new nodes)

diff --git a/src/rewrite/vct/rewrite/RewriteTriggerADTFunctions.scala b/src/rewrite/vct/rewrite/RewriteTriggerADTFunctions.scala