From 4b86bb427015848bfab7c62cc11f1f6d5640d0b9 Mon Sep 17 00:00:00 2001
From: Zafer Esen <zafer.esen@it.uu.se>
Date: Mon, 24 Jun 2024 03:02:09 +0200
Subject: [PATCH] Update version

---
 build.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sbt b/build.sbt
index a40a6fc..8c41d17 100644
--- 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",