X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautLexer.mll;h=006c056b9db0b933f6dbc2e65ace8def82e080d0;hb=0264ee034e3f485baf7070ad9b43cf69db94131b;hp=fa385bca44f595275cbeadf78fd39cb302230a26;hpb=c45c77de154323feaf5bf6aee98c86b95361b9ae;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  }