From 33371ba686215517362f6e33aed3f6f8f814e9d5 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 19 Aug 2015 10:53:42 +0200
Subject: [PATCH] Update build.gradle

---
 build.gradle | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.gradle b/build.gradle
index 3a64a6f..6701181 100644
--- a/build.gradle
+++ b/build.gradle
@@ -8,6 +8,8 @@ project.version = '1.0.8-SNAPSHOT'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "tla2bAST"
 
+project.sourceCompatibility = '1.7'
+project.targetCompatibility = '1.7'
 
 
 repositories {
-- 
GitLab