Merge pull request #3449 from romainbrenguier/update-java-models-library/PR14

romainbrenguier · web-flow · commit 56c97f3b0a4a · 2018-11-20T20:41:33.000Z
Update lib/java-models-library to java-models-library#14 (append(bool…
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit d825533d7feaa477dba880abd679805dede9bb4e
+Subproject commit 766ac7a2c87dadfc7286ea0aab0a6eabdf3e4cdc
