From 82bb7bd016ab1aa51de857df5b9ea433c2c3b361 Mon Sep 17 00:00:00 2001
From: Alexander Steen <a.steen@fu-berlin.de>
Date: Sun, 6 Feb 2022 20:56:34 +0100
Subject: [PATCH] correct version numbers2

---
 build.sbt                                                   | 3 +--
 embedding-app/src/main/scala/leo/modules/EmbeddingApp.scala | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/build.sbt b/build.sbt
index d2d7c58..a3fddb8 100644
--- 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
index e1d5a0e..fdd4582 100644
--- 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