fixed documentation and added an error message for execute statement failHEADmaster

3 files changed, 4 insertions, 5 deletions

diff --git a/doc/bulgarian/.project.mg.swp b/doc/bulgarian/.project.mg.swp
deleted file mode 100644
index f512973..0000000
--- a/doc/bulgarian/.project.mg.swp
+++ /dev/null
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> ";" }+ "]"
diff --git a/src/frontend/parser.c b/src/frontend/parser.c
index 4e370c0..99a1e13 100644
--- a/src/frontend/parser.c
+++ b/src/frontend/parser.c
@@ -284,9 +284,7 @@ struct AST_State* parse_state(struct Translation_Data *translation_data)
 					else 
 						break;
 				}
-			if(get_and_check(translation_data,KW_CLOSE_SQUARE))
-			{
-			}else
+			if(!get_and_check(translation_data,KW_CLOSE_SQUARE))
 			{
 				if(hold_entry)
 				       	delete_ast(hold_entry);
@@ -472,6 +470,7 @@ struct AST* parse_statement(struct Translation_Data *translation_data)
 		}
 	}else
 	{
+		push_parsing_error("expected 'execute' in statement",translation_data);
 		return NULL;
 	}
 }