From 0c8bd3603089392411b93cabf487c72374ed7d24 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20Sch=C3=BCssele?=
 <schuessf@informatik.uni-freiburg.de>
Date: Mon, 20 Feb 2023 13:53:46 +0100
Subject: [PATCH] Fix expected number of transitions (#611)

---
 .../regression/pn/operations/difference/BothSyncMethods.ats     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats b/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats
index c74487a33cb..cdd17778e92 100644
--- a/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats
+++ b/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats
@@ -45,7 +45,7 @@ assert(!accepts(differenceI, [a b]));
 assert(!accepts(differenceI, [a b c]));
 assert(!accepts(differenceI, [a c b]));
 assert(!accepts(differenceI, [c a b]));
-assert(numberOfTransitions(differenceI) == 4);
+assert(numberOfTransitions(differenceI) == 2);
 assert(numberOfPlaces(differenceI) == 9);