diff --git a/build.gradle b/build.gradle
index 0ad6fc53e4bd7196f884442a1b3ac31852f12fd8..1a2fe32cc4683c88cce5d760b40f0504816cfb5b 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 44cab690c3faca62bf8d5dd4d993194be5dc14a6..d6de16014ff4e4c9d3cd531deee5d212f03f7133 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'