X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=glafp-utils%2Fverbatim%2Fverbatim.lex;h=bac87cc45f759b754597ed2e6d46102b8eeb859a;hb=de981f8124226b8798596978c20da29e5fc5cea7;hp=bafcfab5774deeca149c556a386b4063db8556d5;hpb=32d805b3e61c79942975905ad366d6606aa461d5;p=ghc-hetmet.git

diff --git a/glafp-utils/verbatim/verbatim.lex b/glafp-utils/verbatim/verbatim.lex
index bafcfab..bac87cc 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; }