diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF index d4ff8fe9..037dbf52 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF +++ b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | |||
@@ -18,7 +18,6 @@ Require-Bundle: org.eclipse.xtext, | |||
18 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", | 18 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", |
19 | hu.bme.mit.inf.dslreasoner.smt.reasoner;bundle-version="1.0.0", | 19 | hu.bme.mit.inf.dslreasoner.smt.reasoner;bundle-version="1.0.0", |
20 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", | 20 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", |
21 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic;bundle-version="1.0.0", | ||
22 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | 21 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", |
23 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", | 22 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", |
24 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", | 23 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", |