Bump Kind 2 Java API version to 0.3.9

kind2-mc · May 22, 2024 · 056abf3 · 056abf3
1 parent c0c34ec
commit 056abf3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -8,7 +8,7 @@ repositories {
 }
 
 dependencies {
-  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.8'
+  implementation 'edu.uiowa.cs.clc:kind2-java-api:0.3.9'
   implementation 'org.eclipse.lsp4j:org.eclipse.lsp4j:0.13.0'
   testImplementation 'org.junit.jupiter:junit-jupiter-api:5.7.2'
   testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.7.2'