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

Update Submodules
viperproject · Aug 17, 2023 · b457459 · b457459
2 parents 54d851c + 7606598
commit b457459
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/carbon b/carbon
diff --git a/silicon b/silicon
+1 −1		silver
+17 −1		src/main/scala/viper/carbon/Carbon.scala