Skip to content

Commit

Permalink
Merge pull request #262 from viperproject/auto-update-submodules
Browse files Browse the repository at this point in the history 
Update Submodules
  • Loading branch information
@jcp19
jcp19 authored Jan 15, 2025
2 parents 34d4da1 + d3949f9 commit e089086
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silicon
Submodule silicon updated 3 files
+7 −7 src/main/scala/extensions/ConditionalPermissionRewriter.scala
+1 −1 src/main/scala/rules/MoreCompleteExhaleSupporter.scala
+1 −1 src/main/scala/verifier/DefaultMainVerifier.scala

0 comments on commit e089086

Please sign in to comment.