Updates submodules (#259)

Co-authored-by: jcp19 <[email protected]>
viperproject · Dec 31, 2024 · 374270a · 374270a
1 parent c8c6cd2
commit 374270a
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
+15 −21		src/main/scala/viper/carbon/modules/impls/QuantifiedPermModule.scala