From 7405c84b3eb82742de0cd244a5e1bdc4fa48a762 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20Sch=C3=BCssele?=
 <schuessf@informatik.uni-freiburg.de>
Date: Thu, 23 Feb 2023 12:55:07 +0100
Subject: [PATCH] Exclude dummy event to fix NPE (#611)

---
 .../automata/petrinet/unfolding/FinitePrefix2PetriNet.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trunk/source/Library-Automata/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/unfolding/FinitePrefix2PetriNet.java b/trunk/source/Library-Automata/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/unfolding/FinitePrefix2PetriNet.java
index c83ae31d37c..4888ff1046e 100644
--- a/trunk/source/Library-Automata/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/unfolding/FinitePrefix2PetriNet.java
+++ b/trunk/source/Library-Automata/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/unfolding/FinitePrefix2PetriNet.java
@@ -184,8 +184,8 @@ private void constructNet(final BranchingProcess<LETTER, PLACE> bp) {
 			}
 
 		}
-		// final Set<Event<LETTER, PLACE>> releventEvents=new HashSet<>(mEventRepresentatives.getAllRepresentatives());
 		final Set<Event<LETTER, PLACE>> releventEvents = new HashSet<>(mEventRepresentatives.getAllRepresentatives());
+		releventEvents.remove(mInput.getDummyRoot());
 
 		if (mRemoveDeadTransitions) {
 			final HashRelation<Event<LETTER, PLACE>, Event<LETTER, PLACE>> companion2cutoff = new HashRelation<>();