Skip to content

Commit

Permalink
Merge pull request #518 from viperproject/auto-update-submodules
Browse files Browse the repository at this point in the history 
Update Submodules
  • Loading branch information
@Dspil
Dspil authored Jun 12, 2024
2 parents c3811f0 + c1d4fb4 commit fb69aed
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silver
Submodule silver updated 3 files
+1 −0 src/main/scala/viper/silver/plugin/standard/adt/encoding/AdtEncoder.scala
+77 −0 src/test/resources/all/issues/silicon/0844.vpr
+78 −0 src/test/resources/all/issues/silicon/0845.vpr

0 comments on commit fb69aed

Please sign in to comment.