correct version numbers2

leoprover · Feb 6, 2022 · 82bb7bd · 82bb7bd
1 parent d65dd21
commit 82bb7bd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/build.sbt b/build.sbt
@@ -12,7 +12,6 @@ lazy val embedding = (project in file("."))
   .disablePlugins(sbtassembly.AssemblyPlugin)
   .settings(
     commonSettings,
-    version := "1.6",
     name := "logic-embedding",
     description := "A tool for embedding logics into higher-order logic",
   ).aggregate(runtime, app)
@@ -34,7 +33,7 @@ lazy val app = (project in file("embedding-app"))
 	.settings(
 	  commonSettings,
     name := "logic-embedding-app",
-    version := "1.5",
+    version := "1.6",
     Compile/mainClass := Some("leo.modules.EmbeddingApp"),
     assembly/mainClass := Some("leo.modules.EmbeddingApp"),
     assembly/test := {},

diff --git a/embedding-app/src/main/scala/leo/modules/EmbeddingApp.scala b/embedding-app/src/main/scala/leo/modules/EmbeddingApp.scala
@@ -11,7 +11,7 @@ import java.io.{File, FileNotFoundException, PrintWriter}
 
 object EmbeddingApp {
   final val name: String = "embedproblem"
-  final val version: Double = 1.5
+  final val version: Double = 1.6
 
   private[this] var inputFileName = ""
   private[this] var outputFileName: Option[String] = None