diff options
Diffstat (limited to 'tools/coqdep_lexer.mll')
| -rwxr-xr-x | tools/coqdep_lexer.mll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll index 8ecab3b4..cc9f2175 100755 --- a/tools/coqdep_lexer.mll +++ b/tools/coqdep_lexer.mll @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i $Id: coqdep_lexer.mll 8737 2006-04-26 21:55:21Z herbelin $ i*) +(*i $Id: coqdep_lexer.mll 10721 2008-03-26 14:40:30Z notin $ i*) { @@ -215,7 +215,7 @@ and modules = parse | '"' [^'"']* '"' { let lex = (Lexing.lexeme lexbuf) in let str = String.sub lex 1 (String.length lex - 2) in - mllist := str :: !mllist; modules lexbuf } + mllist := str :: !mllist; modules lexbuf} | _ { (Declare (List.rev !mllist)) } and qual_id = parse |