diff --git a/de.prob.core.tests/META-INF/MANIFEST.MF b/de.prob.core.tests/META-INF/MANIFEST.MF index 0e70a97400da8ef426199380b3183d9403742bb0..fc445d16b3ea4a1b070d3bb59e600916d376f663 100644 --- a/de.prob.core.tests/META-INF/MANIFEST.MF +++ b/de.prob.core.tests/META-INF/MANIFEST.MF @@ -6,7 +6,6 @@ Bundle-Version: 1.0.0.qualifier Bundle-Activator: de.prob.core.tests.Activator Require-Bundle: org.eclipse.ui, org.eclipse.core.runtime, - org.junit;bundle-version="4.8.2", org.eventb.core;bundle-version="[2.1.0,2.6.0)", de.prob.core;bundle-version="9.3.0" Bundle-ActivationPolicy: lazy diff --git a/settings.gradle b/settings.gradle index b8f7845e22ce16ae1b541a907aa330a5fb26ede8..2e99bf733997352c165662819fbdce641ad5fc32 100644 --- a/settings.gradle +++ b/settings.gradle @@ -1,2 +1,2 @@ -include 'de.prob.core', 'de.prob.core.tests', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.bmotionstudio.help' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.units', 'de.prob2.units.feature' +include 'de.prob.core', 'de.bmotionstudio.gef.editor' ,'de.bmotionstudio.rodin', 'de.bmotionstudio.help' , 'de.prob.plugin', 'de.prob.ui', 'de.prob2.feature', 'de.prob.symbolic', 'de.prob2.symbolic.feature', 'de.prob.units', 'de.prob2.units.feature'