From 42e21972e84cc9f837937e7285761c8256549f51 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20Teichgr=C3=A4ber?= <mt@ib.wmipf.de>
Date: Tue, 24 Apr 2012 00:53:54 +0200
Subject: [PATCH] parser.leg: fix Definition title

---
 parser.leg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parser.leg b/parser.leg
index 1c43f16..eb85b89 100644
--- a/parser.leg
+++ b/parser.leg
@@ -811,7 +811,7 @@ DefinitionList = &{ p.extension.Dlists }
 			( Definition { a = cons($$, a) } )+ 
 			{ $$ = mk_list(DEFINITIONLIST, a) }
 
-Definition =	&( (!Defmark RawLine)+ BlankLine? Defmark)
+Definition =	&( (NonindentSpace !Defmark Nonspacechar RawLine) BlankLine? Defmark)
 			a:StartList
 			( DListTitle { a = cons($$, a) } )+
 			( DefTight | DefLoose ) {