diff options
author | 2020-06-27 17:56:46 +0200 | |
---|---|---|
committer | 2020-06-27 17:56:46 +0200 | |
commit | 957082776dbb7efed53a783c5e5be6b443a9bb86 (patch) | |
tree | 6b88701d4b1b3928b7d3e7de49d177ca8c93ffad /Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs | |
parent | Merge branch 'kris' (diff) | |
download | VIATRA-Generator-957082776dbb7efed53a783c5e5be6b443a9bb86.tar.gz VIATRA-Generator-957082776dbb7efed53a783c5e5be6b443a9bb86.tar.zst VIATRA-Generator-957082776dbb7efed53a783c5e5be6b443a9bb86.zip |
Fix scope + numerical propagation WIP
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/SatelliteInstance.xmi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/SatelliteInstance.xmi b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/SatelliteInstance.xmi index 3d07a199..66512878 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/SatelliteInstance.xmi +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/SatelliteInstance.xmi | |||
@@ -4,4 +4,4 @@ | |||
4 | xmlns:xmi="http://www.omg.org/XMI" | 4 | xmlns:xmi="http://www.omg.org/XMI" |
5 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | 5 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" |
6 | xmlns:satellite="http://www.example.org/satellite" | 6 | xmlns:satellite="http://www.example.org/satellite" |
7 | xsi:schemaLocation="http://www.example.org/satellite ../model/satellite.ecore"/> | 7 | xsi:schemaLocation="http://www.example.org/satellite ../../hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"/> |