From 488236fb4ebc6e5c72428e7aa860701cfde955f9 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 24 Jun 2020 13:05:54 +0200
Subject: [PATCH] fix constraint violation: two arcs used the same id
---
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 2823cbd..5e8b962 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"/>
--
GitLab