|
@@ -222,7 +222,7 @@ Element function get_enabled_transitions(model : Element, state : String, data :
|
|
|
set_add(event_names, evt_name)
|
|
|
dict_add(event_parameters, evt_name, set_create())
|
|
|
// Add event parameters
|
|
|
- set_add(event_parameters[evt_name], list_read(evt, 1))
|
|
|
+ set_add_node(event_parameters[evt_name], list_read(evt, 1))
|
|
|
|
|
|
while (set_len(to_filter) > 0):
|
|
|
transition = set_pop(to_filter)
|