diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF | 2 |
1 files changed, 1 insertions, 1 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 23fba304..d8e9608d 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 | |||
@@ -21,7 +21,7 @@ Require-Bundle: com.google.guava, | |||
21 | org.eclipse.xtext, | 21 | org.eclipse.xtext, |
22 | org.eclipse.xtext.xbase;bundle-version="2.18.0", | 22 | org.eclipse.xtext.xbase;bundle-version="2.18.0", |
23 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | 23 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", |
24 | com.microsoft.z3 | 24 | com.microsoft.z3;bundle-version="4.8.8" |
25 | Bundle-ActivationPolicy: lazy | 25 | Bundle-ActivationPolicy: lazy |
26 | Export-Package: | 26 | Export-Package: |
27 | hu.bme.mit.inf.dslreasoner.viatra2logic, | 27 | hu.bme.mit.inf.dslreasoner.viatra2logic, |