Skip to content

Commit

Permalink
Merge #175
Browse files Browse the repository at this point in the history 
175: Update Submodules r=viper-admin a=viper-admin

* Updates Gobra from `81a6b5f5bdafe7e9cf41d3ff169bb3dc0e20ba28` to `46ca5f0a9d27d080234dcc104cef65357a33e864`.

Co-authored-by: ArquintL <[email protected]>
  • Loading branch information
@bors @ArquintL
bors[bot] and ArquintL authored Oct 10, 2022
2 parents c1f64d4 + 31aaa66 commit 89c85d6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion server/gobra
Submodule gobra updated 2 files
+4 −4 src/main/scala/viper/gobra/frontend/Gobrafier.scala
+297 −1 src/test/scala/viper/gobra/parsing/GobrafyUnitTests.scala

0 comments on commit 89c85d6

Please sign in to comment.