1 files changed, 21 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/META-INF/MANIFEST.MF b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..7e9ef500
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.tests/META-INF/MANIFEST.MF
@@ -0,0 +1,21 @@
+Manifest-Version: 1.0

+Bundle-ManifestVersion: 2

+Bundle-Name: ca.mcgill.ecse.dslreasoner.vampire.language.tests

+Bundle-Vendor: My Company

+Bundle-Version: 1.0.0.qualifier

+Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.vampire.language.tests; singleton:=true

+Bundle-ActivationPolicy: lazy

+Require-Bundle: ca.mcgill.ecse.dslreasoner.vampire.language,

+ org.junit;bundle-version="4.12.0",

+ org.eclipse.xtext.testing,

+ org.eclipse.xtext.xbase.testing,

+ org.eclipse.xtext.xbase.lib

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

+Export-Package: ca.mcgill.ecse.dslreasoner.tests;x-internal=true

+Import-Package: org.hamcrest.core,

+ org.junit;version="4.5.0",

+ org.junit.runners.model;version="4.5.0",

+ org.junit.runner;version="4.5.0",

+ org.junit.runners;version="4.5.0",

+ org.junit.runner.manipulation;version="4.5.0",

+ org.junit.runner.notification;version="4.5.0"