bump version to 1.1

aureleeNet · Feb 23, 2021 · e31fa25 · e31fa25
1 parent 4d2c903
commit e31fa25
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.sbt b/build.sbt
@@ -3,7 3,7 @@ lazy val parserLib = ProjectRef(uri("git://github.com/leoprover/scala-tptp-parse
 lazy val rio = (project in file("."))
  .settings(
  name := "rio",
- version := "1.0",
  version := "1.1",
  description := "A reasoner for Input/Output logics",
  organization := "net.aurelee",
  scalaVersion := "2.13.4",

diff --git a/src/main/scala/net/aurelee/rio/Main.scala b/src/main/scala/net/aurelee/rio/Main.scala
@@ -9,7 9,7 @@ import java.io.FileNotFoundException
 
 object Main {
  final val name: String = "rio"
- final val version: String = "1.0"
  final val version: String = "1.1"
 
  private[this] var inputFileName = ""
  private[this] var outOperatorParameter: Option[String] = None