diff options
| author | Chimrod <> | 2023-10-03 18:19:15 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | 5a18a66763bcc19de117cb83293d7bd25a0ea10c (patch) | |
| tree | 1627ae50da1a87e5952b5fab21b7290b0555041e /lib/qparser/tokens.mly | |
| parent | 49f69c1ab4d3d8716f30d7bd36a66a4241e16d33 (diff) | |
Switched the keyword from string to a sum type
Diffstat (limited to 'lib/qparser/tokens.mly')
| -rw-r--r-- | lib/qparser/tokens.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/qparser/tokens.mly b/lib/qparser/tokens.mly index 9ac4b10..a87ce98 100644 --- a/lib/qparser/tokens.mly +++ b/lib/qparser/tokens.mly @@ -38,7 +38,7 @@ %token OBJ %token LOC %token NO -%token <string>KEYWORD +%token <Qsp_syntax.T.keywords>KEYWORD %token <Qsp_syntax.T.function_>FUNCTION (* |