From 74a67eda542bf3ea723e0559131ef97dd753148f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 4 Dec 2002 09:32:47 +0000
Subject: fichiers DOS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3371 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/gallina_lexer.mll | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/gallina_lexer.mll b/tools/gallina_lexer.mll
index 4d05688c3b..0dc012b525 100644
--- a/tools/gallina_lexer.mll
+++ b/tools/gallina_lexer.mll
@@ -22,8 +22,8 @@
 
 }
 
-let space = [' ' '\t' '\n']
-let enddot = '.' (' ' | '\t' | '\n' | eof)
+let space = [' ' '\t' '\n' '\r']
+let enddot = '.' (' ' | '\t' | '\n' | '\r' | eof)
 
 rule action = parse
   | "Theorem" space { print "Theorem "; body lexbuf; 
-- 
cgit v1.2.3