diff --git a/src/main/resources/haddadin_automaton_flat.pnml b/src/main/resources/haddadin_automaton_flat.pnml index 2823cbdfd74f4dbf8327564d4d13af669aa210ff..5e8b96258aca568810d8ed7915357de5212125c2 100644 --- a/src/main/resources/haddadin_automaton_flat.pnml +++ b/src/main/resources/haddadin_automaton_flat.pnml @@ -661,7 +661,7 @@ <position x="652" y="402"/> </graphics> </arc> - <arc id="a17" source="Hfm2Fm" target="FRM"> + <arc id="a17-duplicate" source="Hfm2Fm" target="FRM"> <graphics> <line shape="line" color="#b0b0b0" width="1"/> <position x="637" y="425"/>