From 58a269a26ae5ea328bfd9804c478c2ebb01e5639 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 24 Jun 2020 10:38:55 +0200
Subject: [PATCH] the order of some child elements of 'graphics' is relevant.
this is most certainly a bug in the pnml framework parser
---
src/main/resources/haddadin_automaton_flat.pnml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/resources/haddadin_automaton_flat.pnml b/src/main/resources/haddadin_automaton_flat.pnml
index 042a0ab..2823cbd 100644
--- a/src/main/resources/haddadin_automaton_flat.pnml
+++ b/src/main/resources/haddadin_automaton_flat.pnml
@@ -363,9 +363,9 @@
</tokengraphics>
</toolspecific>
<graphics>
+ <offset x="-68" y="-32"/>
<fill color="#ffffff"/>
<line shape="line" color="#000000" width="1"/>
- <offset x="-68" y="-32"/>
<font family="Ubuntu" size="9pt"/>
</graphics>
<text>1</text>
--
GitLab