bump version also for app

leoprover · Jan 19, 2022 · b782819 · b782819
1 parent a3000eb
commit b782819
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -34,7 +34,7 @@ lazy val tptpUtilsApp = (project in file("tptp-utils-app"))
 	.settings(
 	  commonSettings,
     name := "tptp-utils-app",
-    version := "1.0",
+    version := "1.1",
     Compile/mainClass := Some("leo.modules.TPTPUtilsApp"),
     mainClass in assembly := Some("leo.modules.TPTPUtilsApp"),
     test in assembly := {},