From e31fa25431a643fb191fe6423a91d1353f1b79a4 Mon Sep 17 00:00:00 2001 From: Alexander Steen Date: Tue, 23 Feb 2021 09:13:42 +0100 Subject: [PATCH] bump version to 1.1 --- build.sbt | 2 +- src/main/scala/net/aurelee/rio/Main.scala | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sbt b/build.sbt index cfa5703..4c6bff2 100644 --- 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 index b404540..200867b 100644 --- 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