Updates submodules

viperproject · Feb 13, 2025 · ceaa66a · ceaa66a
1 parent 858cdde
commit ceaa66a
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
+20 −0		src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala
+6 −1		src/main/scala/viper/carbon/modules/impls/DefaultStmtModule.scala