diff options
Diffstat (limited to 'test/w3c/promela/test411.scxml')
-rw-r--r-- | test/w3c/promela/test411.scxml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/w3c/promela/test411.scxml b/test/w3c/promela/test411.scxml index 317b8c4..4b8da3e 100644 --- a/test/w3c/promela/test411.scxml +++ b/test/w3c/promela/test411.scxml @@ -16,7 +16,7 @@ timeout also indicates failure --> <transition event="event2" target="pass"/> <state id="s01"> <onentry> - <if cond="config[S01]"> + <if cond="config[s01]"> <raise event="event2"/> </if> </onentry> |