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-22 11:57:58 +0200 |
| commit | 9f8714f4cd3fb59ce38afee48caf081db1919c0c (patch) | |
| tree | 65861db98cc948443c83d10e54e972fe97414aa5 | |
| parent | 56744aadd413dd9417d245951083117b05170e14 (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 c96b53de4..25633c63d 100644 --- a/parsing/tok.ml +++ b/parsing/tok.ml @@ -55,7 +55,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 |