From a9481a473d51821329e517879f1d62f7ca95ddaa Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Mon, 13 Jan 2020 13:29:55 +0100
Subject: [PATCH] set version to 1.1.2

somehow using a SNAPSHOT version leads
to failure in the build
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index ccf3192..7423ba7 100644
--- a/build.gradle
+++ b/build.gradle
@@ -4,7 +4,7 @@ apply plugin: 'maven'
 //apply plugin: 'jacoco'
 apply plugin: 'findbugs'
 
-project.version = '1.1.2-SNAPSHOT'
+project.version = '1.1.2'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "tla2bAST"
 
-- 
GitLab