From 396de13eaa64f1e3bf1547f6e751e7b34503abc7 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 27 Mar 2013 16:05:25 +0100
Subject: [PATCH] add de.prob.theorymapping to dependencies

---
 build.gradle              | 1 +
 de.prob.core/build.gradle | 1 +
 2 files changed, 2 insertions(+)

diff --git a/build.gradle b/build.gradle
index 0ad6fc53..1a2fe32c 100644
--- a/build.gradle
+++ b/build.gradle
@@ -45,6 +45,7 @@ project(':de.prob.core') {
 	 compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
 	 compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
 	 compile group: "de.prob", name: "unicode", version: parser_version , changing: true
+	 compile group: "de.prob", name: "theorymapping", version: parser_version , changing: true
 	 compile 'jgrapht:jgrapht:0.8.3'
 	 compile 'commons-lang:commons-lang:2.6'
 	}
diff --git a/de.prob.core/build.gradle b/de.prob.core/build.gradle
index 44cab690..d6de1601 100644
--- a/de.prob.core/build.gradle
+++ b/de.prob.core/build.gradle
@@ -10,6 +10,7 @@ dependencies {
  compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
  compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
  compile group: "de.prob", name: "unicode", version: parser_version , changing: true
+ compile group: "de.prob", name: "theorymapping", version: parser_version , changing: true
  compile 'jgrapht:jgrapht:0.8.3'
  compile 'commons-lang:commons-lang:2.6'
  compile 'commons-codec:commons-codec:1.6'
-- 
GitLab