From a7fbd10c5484363aeac98455c14a1385cd78a322 Mon Sep 17 00:00:00 2001
From: Alexander Steen <a.steen@fu-berlin.de>
Date: Mon, 6 Dec 2021 10:00:34 +0100
Subject: [PATCH] correct version number in build.sbt

---
 build.sbt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sbt b/build.sbt
index 4cd2990..6228557 100644
--- a/build.sbt
+++ b/build.sbt
@@ -13,7 +13,7 @@ lazy val tptpUtils = (project in file("."))
   .disablePlugins(sbtassembly.AssemblyPlugin)
   .settings(
     commonSettings,
-    version := "1.1",
+    version := "1.0",
     name := "tptp-utils",
     description := "A library and tool for some TPTP utility functions."
   ).aggregate(tptpUtilsRuntime, tptpUtilsApp)
@@ -22,7 +22,7 @@ lazy val tptpUtilsRuntime = (project in file("tptp-utils-runtime"))
 	.settings(
 	  commonSettings,
     name := "tptp-utils-runtime",
-    version := "1.1",
+    version := "1.0",
     assemblyOption in assembly := (assemblyOption in assembly).value.copy(includeScala = false),
     test in assembly := {},
     assemblyJarName in assembly := s"${name.value}-${version.value}.jar",