Update version

uuverifiers · Jun 24, 2024 · 4b86bb4 · 4b86bb4
1 parent 07d9f3a
commit 4b86bb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -1,7 +1,7 @@
 lazy val commonSettings = Seq(
   name := "Horn-Concurrency",
   organization := "uuverifiers",
-  version := "2.1",
+  version := "2.1.1",
   scalaVersion := "2.11.12",
   crossScalaVersions := Seq("2.11.12", "2.12.18"),
   description := "Encoding of concurrent or replicated programs using Horn clauses",