Merge pull request #389 from viperproject/auto-update-submodules · viperproject/gobra-ide@d65bded

Commit

Merge pull request #389 from viperproject/auto-update-submodules

Update Submodules

viper-admin authored Feb 17, 2024

2 parents 3757970 + a4c1cbf commit d65bded

+0 −1		src/main/scala/viper/gobra/ast/internal/PrettyPrinter.scala
+1 −1		src/main/scala/viper/gobra/translator/encodings/typeless/TerminationEncoding.scala
+3 −2		src/main/scala/viper/gobra/translator/transformers/TerminationTransformer.scala
+1 −1		viperserver