From f63a94c06268b5233264436cc538062f1f7b01bc Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Tue, 8 Oct 2019 03:00:08 -0400 Subject: VAMPIRE: fix bug in transformation, further implement measurement code --- .../ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF index 9e50006e..b786abfb 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF @@ -6,7 +6,13 @@ Bundle-Version: 1.0.0.qualifier Bundle-ClassPath: . Bundle-Vendor: %providerName Bundle-Localization: plugin -Export-Package: ca.mcgill.ecse.dslreasoner.vampire.queries, +Export-Package: ca.mcgill.ecse.dslreasoner.vamipre.yakindumm, + ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.impl, + ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.util, + ca.mcgill.ecse.dslreasoner.vampire.queries, + ca.mcgill.ecse.dslreasoner.vampire.yakindumm, + ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl, + ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util, yakindumm, yakindumm.impl, yakindumm.util, -- cgit v1.2.3-54-g00ecf