1 files changed, 2 insertions, 1 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
index 1de8b744..0b5013dd 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.xtext;visibility:=reexport,
  org.objectweb.asm;bundle-version="[5.0.1,6.0.0)";resolution:=optional,

  org.eclipse.equinox.common;bundle-version="3.7.0"

 Import-Package: org.apache.log4j

-Bundle-RequiredExecutionEnvironment: JavaSE-1.7

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

 Export-Package: hu.bme.mit.inf.dslreasoner,

  hu.bme.mit.inf.dslreasoner.services,

  hu.bme.mit.inf.dslreasoner.alloyLanguage,

@@ -34,4 +34,5 @@ Export-Package: hu.bme.mit.inf.dslreasoner,
  hu.bme.mit.inf.dslreasoner.scoping,

  hu.bme.mit.inf.dslreasoner.generator,

  hu.bme.mit.inf.dslreasoner.formatting

+Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.alloy.language