diff options
Diffstat (limited to 'src/cfg_file.l')
| -rw-r--r-- | src/cfg_file.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cfg_file.l b/src/cfg_file.l index 671146be1..a497aa4b6 100644 --- a/src/cfg_file.l +++ b/src/cfg_file.l @@ -44,6 +44,7 @@ view return VIEW; ip return IP; from return FROM; symbols return SYMBOLS; +skip_check return SKIP_CHECK; error_time return ERROR_TIME; dead_time return DEAD_TIME; |