From 2fb1f4f1bfdae2fe65c02048380fe8b6e619483e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Wed, 5 Oct 2016 08:16:42 +0200
Subject: Revert "Move bullet detection from lexer to parser (bug #5102)."

This reverts commit 466b7e69e49a5f4bba36b834a2e046f120ece07c.
---
 parsing/tok.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'parsing/tok.mli')

diff --git a/parsing/tok.mli b/parsing/tok.mli
index b1e79dc90..b9286c53e 100644
--- a/parsing/tok.mli
+++ b/parsing/tok.mli
@@ -16,6 +16,7 @@ type t =
   | INT of string
   | STRING of string
   | LEFTQMARK
+  | BULLET of string
   | EOI
 
 val equal : t -> t -> bool
-- 
cgit v1.2.3