From fb99d0d2a8ddcd7bad3b1f59152328e76ae8edb6 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 10 May 2020 20:56:55 -0400
Subject: Fix PLEDGE Case Study File

---
 Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml')

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
index 63aa0b02..40c6a0f6 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
@@ -31,12 +31,16 @@
       <query-specification fqn="queries.inv47"/>
       <query-specification fqn="queries.x_inv47"/>
       <query-specification fqn="queries.inv48"/>
-      <query-specification fqn="queries.x_inv48_notDis"/>
-      <query-specification fqn="queries.x_inv48_Dis"/>
-      <query-specification fqn="queries.x_inv48_3"/>
+      <query-specification fqn="queries.x_inv48"/>
       <query-specification fqn="queries.inv49"/>
       <query-specification fqn="queries.x_inv49_1"/>
       <query-specification fqn="queries.x_inv49_2"/>
     </group>
   </extension>
+  <extension id="queries.Case_study_short" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_short" id="queries.Case_study_short">
+      <query-specification fqn="queries.inv48"/>
+      <query-specification fqn="queries.x_inv48"/>
+    </group>
+  </extension>
 </plugin>
-- 
cgit v1.2.3-70-g09d2