summaryrefslogtreecommitdiff
path: root/frontend/lexer.mll
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/lexer.mll')
-rw-r--r--frontend/lexer.mll2
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/lexer.mll b/frontend/lexer.mll
index 9dc7da3..8a4ef26 100644
--- a/frontend/lexer.mll
+++ b/frontend/lexer.mll
@@ -26,12 +26,14 @@
"or", OR;
"mod", MOD;
+ "activate", ACTIVATE;
"automaton", AUTOMATON;
"state", STATE;
"initial", INITIAL;
"unless", UNLESS;
"until", UNTIL;
"resume", RESUME;
+ "restart", RESTART;
"true", TRUE;
"false", FALSE;