aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/plugin.xml
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-02-16 00:55:15 +0100
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-02-16 00:55:15 +0100
commit4f0a474f5284bc97e9f509563d865424068b96fc (patch)
treec99585c30dc85ac0bc2944b807a9dae988c8f363 /Domains/crossingScenario/plugin.xml
parentfix dreal call on solved problem imprecision issue (diff)
downloadVIATRA-Generator-4f0a474f5284bc97e9f509563d865424068b96fc.tar.gz
VIATRA-Generator-4f0a474f5284bc97e9f509563d865424068b96fc.tar.zst
VIATRA-Generator-4f0a474f5284bc97e9f509563d865424068b96fc.zip
Minor adjsutments to CrossScen ad FamTree local case studies
Diffstat (limited to 'Domains/crossingScenario/plugin.xml')
-rw-r--r--Domains/crossingScenario/plugin.xml11
1 files changed, 4 insertions, 7 deletions
diff --git a/Domains/crossingScenario/plugin.xml b/Domains/crossingScenario/plugin.xml
index 8e759f1f..c8846e1b 100644
--- a/Domains/crossingScenario/plugin.xml
+++ b/Domains/crossingScenario/plugin.xml
@@ -1,10 +1,7 @@
1<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!-- 1<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!--
2--><plugin> 2--><plugin>
3 <extension point="org.eclipse.emf.ecore.generated_package"> 3 <extension point="org.eclipse.emf.ecore.generated_package">
4 <!-- @generated crossingScenario --> 4 <!-- @generated crossingScenario -->
5 <package 5 <package class="crossingScenario.CrossingScenarioPackage" genModel="model/crossingScenario.genmodel" uri="http://www.example.com/crossingScenario"/>
6 uri="http://www.example.com/crossingScenario" 6 </extension>
7 class="crossingScenario.CrossingScenarioPackage"
8 genModel="model/crossingScenario.genmodel"/>
9 </extension>
10</plugin> 7</plugin>