Update for diffblue/java-models-library#21 (getClass)

romainbrenguier · romainbrenguier · commit 93b717cd5bd7 · 2019-04-11T09:07:52.000+01:00
Update the models for a version of getClass which uses CProver.classIdentifier. This is necessary for getting rid of the preprocessing of getClass which is error-prone. diffblue/java-models-library#21
diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 287f0b7ef3cba9b3779bccc70b6009e5e611d6fa
+Subproject commit f369b62eeddc30581b9ab6ab51d195748be15fd5
