Merge branch 'unstable' into dependabot/maven/io.github.tudo-aqua-z3-…

…turnkey-4.8.10
apalache-mc · Jul 6, 2021 · 2ddf17d · 2ddf17d
2 parents 94e6755 + 205a7d1
commit 2ddf17d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tlair/pom.xml b/tlair/pom.xml
@@ -53,7 +53,7 @@
         <dependency>
             <groupId>org.bitbucket.inkytonik.kiama</groupId>
             <artifactId>kiama_2.12</artifactId>
-            <version>2.4.0</version>
+            <version>2.5.0</version>
         </dependency>
 
         <!-- https://mvnrepository.com/artifact/com.lihaoyi/upickle -->