Merge pull request #7247 from thomasspriggs/tas/bump-models-library-pointer

tautschnig · web-flow · commit adbd8914f94f · 2022-10-20T15:15:50.000+02:00
Bump java-models-library sub module pointer
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 012cdc25d95ef13ea99123683d0db9044254388d
+Subproject commit c7835345cf635279cf59f4a286c05538f8026bd8
