From cf73b006faf95512b28c744ecfbdf47c044acb67 Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Fri, 31 Jan 2014 00:15:01 +0800
Subject: <+>: Don't insert a space when concatenating empty nodes

---
 html-test/ref/GADTRecords.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'html-test/ref/GADTRecords.html')

diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 63297c37..23c230e8 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -48,7 +48,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
 	><li class="src short"
 	  ><span class="keyword"
 	    >data</span
-	    >  <a href=""
+	    > <a href=""
 	    >H1</a
 	    > a b <span class="keyword"
 	    >where</span
@@ -58,7 +58,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
 		>C1</a
 		> ::  <a href=""
 		>H1</a
-		> a b  </li
+		> a b</li
 	      ><li
 	      ><a href=""
 		>C2</a
@@ -66,11 +66,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
 		>Ord</a
 		> a =&gt; [a] -&gt; <a href=""
 		>H1</a
-		> a a  </li
+		> a a</li
 	      ><li
 	      ><a href=""
 		>C3</a
-		> ::  { <ul class="subs"
+		> :: { <ul class="subs"
 		><li
 		  ><a href=""
 		    >field</a
@@ -88,7 +88,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
 	      ><li
 	      ><a href=""
 		>C4</a
-		> ::  { <ul class="subs"
+		> :: { <ul class="subs"
 		><li
 		  ><a href=""
 		    >field2</a
@@ -110,7 +110,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    >  <a name="t:H1" class="def"
+	    > <a name="t:H1" class="def"
 	    >H1</a
 	    > a b <span class="keyword"
 	    >where</span
-- 
cgit v1.2.3