From d1c2b39c49c0402de44ef4a0737590442232047b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 15 Nov 2002 14:21:07 +0000
Subject: Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3243 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdep_lexer.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll
index 2d65c7864f..b185e22392 100755
--- a/tools/coqdep_lexer.mll
+++ b/tools/coqdep_lexer.mll
@@ -37,7 +37,7 @@
   let field_name s = String.sub s 1 (String.length s - 1)
 }
 
-let space = [' ' '\t' '\n']
+let space = [' ' '\t' '\n' '\r']
 let lowercase = ['a'-'z' '\223'-'\246' '\248'-'\255']
 let uppercase = ['A'-'Z' '\192'-'\214' '\216'-'\222']
 let identchar = 
-- 
cgit v1.2.3