X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautLexer.mll;fp=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautLexer.mll;h=006c056b9db0b933f6dbc2e65ace8def82e080d0;hb=960ed22a5a6c415e2cf0ec9e8f5680d75c3ca0cd;hp=fa385bca44f595275cbeadf78fd39cb302230a26;hpb=cb1b4380e7133a0a7a0f22c667afbb6abd0de410;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autLexer.mll b/helm/software/lambda-delta/automath/autLexer.mll
index fa385bca4..006c056b9 100644
--- a/helm/software/lambda-delta/automath/autLexer.mll
+++ b/helm/software/lambda-delta/automath/autLexer.mll
@@ -28,13 +28,12 @@ rule line_comment = parse
    | NL  { () }
    | OC  { block_comment lexbuf; line_comment lexbuf }
    | _   { line_comment lexbuf }
-   | eof  { () } 
+   | eof { () } 
 and block_comment = parse
    | CC  { () }
    | OC  { block_comment lexbuf; block_comment lexbuf }
    | LC  { line_comment lexbuf; block_comment lexbuf  }
    | _   { block_comment lexbuf }
-   | eof { () } 
 and token = parse
    | SPC      { token lexbuf } 
    | LC       { line_comment lexbuf; token lexbuf  }