diff options
Diffstat (limited to 'dimension/common.terminals')
| -rw-r--r-- | dimension/common.terminals | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dimension/common.terminals b/dimension/common.terminals index 256474f..84f05eb 100644 --- a/dimension/common.terminals +++ b/dimension/common.terminals @@ -121,7 +121,7 @@ %token DMNSN_T_CEIL "ceil" %token DMNSN_T_CELLS %token DMNSN_T_CHARSET -%token DMNSN_T_CHECKER +%token DMNSN_T_CHECKER "checker" %token DMNSN_T_CHR %token DMNSN_T_CIRCULAR %token DMNSN_T_CLIPPED_BY |