diff options
Diffstat (limited to 'ds9/parsers/maskparser.tac')
| -rw-r--r-- | ds9/parsers/maskparser.tac | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/ds9/parsers/maskparser.tac b/ds9/parsers/maskparser.tac index 9087950..2b60384 100644 --- a/ds9/parsers/maskparser.tac +++ b/ds9/parsers/maskparser.tac @@ -1,7 +1,7 @@ %{ %} -#include numeric.tin +#include int.tin #include string.tin %start command @@ -15,8 +15,6 @@ %% -#include numeric.trl - command : mask | mask {yyclearin; YYACCEPT} STRING_ ; |