- nodes count is now working for aut and meta

[helm.git] / helm / software / lambda-delta / automath / autLexer.mll

diff --git a/helm/software/lambda-delta/automath/autLexer.mll b/helm/software/lambda-delta/automath/autLexer.mll
index fa385bca44f595275cbeadf78fd39cb302230a26..006c056b9db0b933f6dbc2e65ace8def82e080d0 100644 (file)
--- 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  }