diff -up texlive-2007/texk/lacheck/lacheck.lex.lacheck texlive-2007/texk/lacheck/lacheck.lex --- texlive-2007/texk/lacheck/lacheck.lex.lacheck 2006-01-17 22:41:51.000000000 +0100 +++ texlive-2007/texk/lacheck/lacheck.lex 2008-08-27 13:20:52.000000000 +0200 @@ -1042,11 +1042,12 @@ char *name; void g_checkend(n) int n; { - if ( check_top_level_end(yytext,n) == 1 ) + if ( check_top_level_end(yytext,n) == 1 ) { if ( CG_TYPE != n ) print_bad_match(yytext,n); else pop(); + } } void e_checkend(n, name)