1 files changed, 2 insertions, 1 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
index ec8f78ce..4476ca09 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.xtext;visibility:=reexport,
  org.eclipse.xtext.xbase.lib

 Import-Package: org.apache.log4j,

  org.eclipse.xtext.xbase.lib

-Bundle-RequiredExecutionEnvironment: J2SE-1.5

+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

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

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

  hu.bme.mit.inf.dslreasoner.smtLanguage,

@@ -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.smt.language