diff options
Diffstat (limited to 'keywords.pl')
| -rwxr-xr-x | keywords.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/keywords.pl b/keywords.pl index acdf807d43..46dd53d70e 100755 --- a/keywords.pl +++ b/keywords.pl @@ -42,7 +42,7 @@ INIT LE LT NE -STOP +CHECK abs accept alarm |