K12.9

Author: wadoon

key.core/build.gradle

@@ -22,7 +22,7 @@ dependencies {
 
     api project(':key.util')
 
-    def JP_VERSION = "3.28.0-K12.8"
+    def JP_VERSION = "3.28.0-K12.9"
     api "org.key-project.proofjava:javaparser-core:$JP_VERSION"
     api "org.key-project.proofjava:javaparser-core-serialization:$JP_VERSION"
     api "org.key-project.proofjava:javaparser-symbol-solver-core:$JP_VERSION"