diff --git a/glafp-utils/verbatim/verbatim.lex b/glafp-utils/verbatim/verbatim.lex index bafcfab5774deeca149c556a386b4063db8556d5..bac87cc45f759b754597ed2e6d46102b8eeb859a 100644 --- a/glafp-utils/verbatim/verbatim.lex +++ b/glafp-utils/verbatim/verbatim.lex @@ -42,9 +42,9 @@ miranda ([0-9]+(\-([0-9]+)?)?)?> <VERB>\{ { printf ("{\\char'173}"); } <VERB>\} { printf ("{\\char'175}"); } -<NORM>^@\n { printf( "\\begin{verbatim}\n" ); +<NORM>^@{sp}\n { printf( "\\begin{verbatim}\n" ); PUSH NORM; BEGIN VERBATIMSIM; } -<VERBATIMSIM>^@\n { printf( "\\end{verbatim}\n" ); POP; } +<VERBATIMSIM>^@{sp}\n { printf( "\\end{verbatim}\n" ); POP; } <NORM>\\"begin{verbatim}" { printf( "\\begin{verbatim}" ); PUSH NORM; BEGIN VERBATIM; }