From ebcb2063bba0f87ef146b20357a4866fe8d0d4b0 Mon Sep 17 00:00:00 2001
From: notin
Date: Sat, 25 Mar 2006 13:22:09 +0000
Subject:  r8686@thot:  notin | 2006-03-20 19:29:09 +0100  Correction d'un bug
 dans Coqdoc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8661 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/pretty.mll | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/pretty.mll b/tools/coqdoc/pretty.mll
index 2acb414074..096e64a818 100644
--- a/tools/coqdoc/pretty.mll
+++ b/tools/coqdoc/pretty.mll
@@ -404,7 +404,7 @@ and coq = parse
 	  let eol = body lexbuf in
 	    if eol then coq_bol lexbuf else coq lexbuf }
   | space+ { char ' '; coq lexbuf }
-  |  eof 
+  | eof 
       { () }
   | _ { let eol = 
 	  if not !gallina then 
@@ -567,6 +567,9 @@ and body = parse
   | identifier 
       { let s = lexeme lexbuf in 
 	  ident s (lexeme_start lexbuf); body lexbuf }
+  | token
+      { let s = lexeme lexbuf in
+	  symbol s; body lexbuf }
   | _ { let c = lexeme_char lexbuf 0 in 
 	  char c; body lexbuf }
 
-- 
cgit v1.2.3