fix #3086

itemisCREATE · May 12, 2020 · d1e0d26 · d1e0d26
1 parent 793ae1b
commit d1e0d26
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...sct.model.sexec/src/org/yakindu/sct/model/sexec/transformation/StatechartExtensions.xtend b/...sct.model.sexec/src/org/yakindu/sct/model/sexec/transformation/StatechartExtensions.xtend
@@ -1,5 +1,5 @@
 /** 
- * Copyright (c) 2015 committers of YAKINDU and others. 
+ * Copyright (c) 2015-20 committers of YAKINDU and others. 
  * All rights reserved. This program and the accompanying materials 
  * are made available under the terms of the Eclipse Public License v1.0 
  * which accompanies this distribution, and is available at 
@@ -112,7 +112,7 @@ class StatechartExtensions {
 	}
 
 	def dispatch int maxNumberOfParallelTimeEvents(Region r) {
-		r.vertices.filter(State).map[maxNumberOfParallelTimeEvents].max
+		r.vertices.filter(State).map[maxNumberOfParallelTimeEvents].fold(0, [ a, b | Math.max(a,b) ])
 	}
 
 	def dispatch int maxNumberOfParallelTimeEvents(State s) {