Update silver submodule · viper-admin/carbon@bc7d107

Commit

Update silver submodule

Browse files

Silver Bot committed Jul 19, 2023

1 parent 07fc66e commit bc7d107

+5 −4		src/main/scala/viper/silver/parser/Resolver.scala
+2 −2		src/test/resources/adt/declarations_2.vpr
+1 −1		src/test/resources/adt/declarations_5.vpr
+2 −1		src/test/resources/all/basic/let_consistency_resolver.vpr
+4 −4		src/test/resources/all/issues/silver/0027.vpr
+2 −2		src/test/resources/all/issues/silver/0048.vpr
+5 −4		src/test/resources/all/issues/silver/0050.vpr
+1 −1		src/test/resources/all/issues/silver/0473.vpr
+2 −1		src/test/resources/wands/regression/consistency_let_resolver.vpr