From f65b0dbd0a49a46847523d8316a8712b6a334deb Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Sun, 9 Jun 2019 14:05:17 +0100
Subject: [PATCH] Update jbmc/lib/java-models-library to #25

Adds various boxed primitive type classes and
updates to CProver, Class and String.
---
 jbmc/lib/java-models-library | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
index 79d3380220..ca0c92624a 160000
--- a/jbmc/lib/java-models-library
+++ b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 79d33802200939540bec137abab3fb9c71af0bc8
+Subproject commit ca0c92624a81447c8803a1dfd32768b3893b0fc1