From 8d86da0089e15f89356665cd9bdc3977b0aa33cb Mon Sep 17 00:00:00 2001
From: Romain Brenguier <romain.brenguier@gmail.com>
Date: Tue, 20 Nov 2018 13:39:22 +0000
Subject: [PATCH] Update lib/java-models-library to java-models-library#14
 (append(boolean))

https://github.com/diffblue/java-models-library/pull/14
---
 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 d825533d7fe..766ac7a2c87 160000
--- a/jbmc/lib/java-models-library
+++ b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit d825533d7feaa477dba880abd679805dede9bb4e
+Subproject commit 766ac7a2c87dadfc7286ea0aab0a6eabdf3e4cdc