Update silver submodule · viperproject/silicon@6ce5901

Commit

Update silver submodule

Browse files

Silver Bot committed Apr 19, 2023

1 parent ce0324d commit 6ce5901

+43 −38		src/main/scala/viper/silver/parser/Resolver.scala
+7 −7		src/main/scala/viper/silver/plugin/standard/adt/AdtPASTExtension.scala
+1 −1		src/main/scala/viper/silver/plugin/standard/predicateinstance/PredicateInstancePASTExtension.scala
+12 −0		src/test/resources/all/issues/silver/0675.vpr