From 3ae437ae4198010dd3297365cfb53e4ec59172a2 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Fri, 16 Nov 2012 10:40:16 +0100
Subject: [PATCH] updated dependency to new parser
---
de.prob.core/build.gradle | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/build.gradle b/de.prob.core/build.gradle
index 82ad7bd0..b3649c6d 100644
--- a/de.prob.core/build.gradle
+++ b/de.prob.core/build.gradle
@@ -1,7 +1,7 @@
apply plugin: 'java'
-def parser_version = '2.4.8-SNAPSHOT'
+def parser_version = '2.4.12-SNAPSHOT'
dependencies {
compile group: "de.prob", name: "answerparser", version: parser_version , changing: true
--
GitLab