fix version number

leoprover · Jan 28, 2022 · c130631 · c130631
1 parent dae9ca7
commit c130631
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -12,7 +12,7 @@ lazy val embedding = (project in file("."))
   .disablePlugins(sbtassembly.AssemblyPlugin)
   .settings(
     commonSettings,
-    version := "1.6",
+    version := "1.5",
     name := "logic-embedding",
     description := "A tool for embedding logics into higher-order logic",
   ).aggregate(runtime, app)