1 files changed, 4 insertions, 4 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
index c7242106..23fba304 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
@@ -20,11 +20,11 @@ Require-Bundle: com.google.guava,
  org.eclipse.viatra.query.patternlanguage.emf;bundle-version="2.0.0",

  org.eclipse.xtext,

  org.eclipse.xtext.xbase;bundle-version="2.18.0",

- hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0"

+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0",

+ com.microsoft.z3

 Bundle-ActivationPolicy: lazy

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

+Export-Package: 

+ hu.bme.mit.inf.dslreasoner.viatra2logic,

  hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations,

  hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl,

  hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util

-Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatra2logic

-