From 2bc355fa50e75e512ddd887bd5567aba184f3f0a Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Wed, 24 Sep 1997 16:06:34 +0000
Subject: [PATCH] [project @ 1997-09-24 16:06:34 by simonm] couple of minor
 patches to verbatim from Simon P.J.'s copy.

---
 glafp-utils/verbatim/verbatim.lex |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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; }
-- 
1.7.10.4