diff --git a/src/main/resources/haddadin_automaton_flat.pnml b/src/main/resources/haddadin_automaton_flat.pnml index 042a0abe319519ab47b3d9db44c4e01ffda090ae..2823cbdfd74f4dbf8327564d4d13af669aa210ff 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>