Merge pull request #5230 from smowton/smowton/admin/update-models

smowton · web-flow · commit d99572ecbcf0 · 2020-02-10T16:31:20.000Z
Update java-models-lib to pull in proper exception behaviour for radix check in Integer.parseInt and friends
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit ee97592c10bb6d8c8c65472e547e9d1e41fa9b8d
+Subproject commit d8e8b4203cd1b4ee8f77c6ab99b1d52a7cfc8fd6
