aboutsummaryrefslogtreecommitdiffstats
path: root/doc/en.txt
diff options
context:
space:
mode:
Diffstat (limited to 'doc/en.txt')
-rw-r--r--doc/en.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/en.txt b/doc/en.txt
index 95f1f91..68e115a 100644
--- a/doc/en.txt
+++ b/doc/en.txt
@@ -17,8 +17,8 @@ Syntax:
<machine internals> := { <states definition> ";" | <events definition> ";" | <transitions definition> ";" \
| "starting" "on" <id> ";" }
- <states definition> := "states" "[" { <id> [ "on" "entering" <execute statement> ] \
- [ "on" "exiting" <execute statement> ] }+ "]"
+ <states definition> := "states" "[" { <id> [ "[" ( "on" "entering" <execute statement> ";" ] \
+ [ "on" "exiting" <execute statement> ";" ] "]" }+ "]"
<events definition> := "events" "[" { <id> }+ "]"
<transitions definition> := "transitions" "[" { <transition> ";" }+ "]"