From 9f8714f4cd3fb59ce38afee48caf081db1919c0c Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Wed, 5 Oct 2016 08:22:57 +0200 Subject: Fix incorrect token description for bullets. --- parsing/tok.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/parsing/tok.ml b/parsing/tok.ml index c96b53de41..25633c63d0 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 -- cgit v1.2.3