Exclude dummy event to fix NPE (#611)

ultimate-pa · Feb 28, 2023 · 7405c84 · 7405c84
1 parent 6627482
commit 7405c84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...e/uni_freiburg/informatik/ultimate/automata/petrinet/unfolding/FinitePrefix2PetriNet.java b/...e/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<>();