diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-10-05 08:22:57 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-10-05 08:22:57 +0200 |
commit | e6936f7593d6d2ea36aabf0fb021737e8dc7a9ba (patch) | |
tree | b2f4909d71ac553b652be7c0360f963e82615ec9 | |
parent | 2fb1f4f1bfdae2fe65c02048380fe8b6e619483e (diff) |
Fix incorrect token description for bullets.
-rw-r--r-- | parsing/tok.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/tok.ml b/parsing/tok.ml index 8ae106512..f4b60aeec 100644 --- a/parsing/tok.ml +++ b/parsing/tok.ml @@ -53,7 +53,7 @@ let to_string = function | INT s -> Format.sprintf "INT %s" s | STRING s -> Format.sprintf "STRING %S" s | LEFTQMARK -> "LEFTQMARK" - | BULLET s -> Format.sprintf "STRING %S" s + | BULLET s -> Format.sprintf "BULLET %S" s | EOI -> "EOI" let match_keyword kwd = function |