| Index: frog/scripts/token_info.py
|
| diff --git a/frog/scripts/token_info.py b/frog/scripts/token_info.py
|
| index 504c915c36614e43419ccd6de2383acb7326d0ea..0c729aa78389741a3d857a7489354aa14b9b5622 100644
|
| --- a/frog/scripts/token_info.py
|
| +++ b/frog/scripts/token_info.py
|
| @@ -132,8 +132,9 @@ tokens = [
|
|
|
| Token('STRING', "", 0),
|
| Token('STRING_PART', "", 0),
|
| - Token('NUMBER', "", 0),
|
| - Token('HEX_NUMBER', "", 0),
|
| + Token('INTEGER', "", 0),
|
| + Token('HEX_INTEGER', "", 0),
|
| + Token('DOUBLE', "", 0),
|
|
|
| Token('WHITESPACE', "", 0),
|
| Token('COMMENT', "", 0),
|
|
|