From 7dc296009ae1c4c612c0efa1dfa84a9f726ffbbd Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Mon, 2 Dec 2019 20:07:09 +0100
Subject: [PATCH] Revert

---
 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 f293040d..f641c88d 100644
--- a/de.prob.core/build.gradle
+++ b/de.prob.core/build.gradle
@@ -1,6 +1,6 @@
 apply plugin: 'java'
 
-def parser_version = '2.9.22'
+def parser_version = '2.5.0'
 
 dependencies {
  compile group: "de.hhu.stups", name: "answerparser", version: parser_version , changing: true
-- 
GitLab