From b94ab9034367f51b978904d60f2604db10abbd9f Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Sat, 29 Nov 2014 15:39:09 +0800
Subject: For pattern synonyms, render "pattern" as a keyword

---
 html-test/ref/Operators.html | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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

diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index dc06e3b5..b076206d 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -90,7 +90,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
 	      ></ul
 	    ></li
 	  ><li class="src short"
-	  >pattern  <a href=""
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a href=""
 	    >(:+)</a
 	    > ::   t -&gt; t -&gt; [t]</li
 	  ><li class="src short"
@@ -266,7 +268,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
-	  >pattern  <a name="v::-43-" class="def"
+	  ><span class="keyword"
+	    >pattern</span
+	    > <a name="v::-43-" class="def"
 	    >(:+)</a
 	    > ::   t -&gt; t -&gt; [t] <span class="fixity"
 	    >infixr 3</span
-- 
cgit v1.2.3