diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-27 17:56:46 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-27 17:56:46 +0200 |
| commit | 957082776dbb7efed53a783c5e5be6b443a9bb86 (patch) | |
| tree | 6b88701d4b1b3928b7d3e7de49d177ca8c93ffad /Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/SatelliteInstance.xmi | |
| 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/SatelliteInstance.xmi')
| -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"/> |