From 039b2346cd7a9998135636146ea234eb9cc0fbab Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Fri, 31 Jan 2014 00:55:50 +0800
Subject: Handle infix vs prefix names correctly everywhere, by explicitly
 specifying the context

The basic idea is that "a" and "+" are either pretty-printed as "a" and "(+)"  or "`a`" and "+"
---
 html-test/ref/Ticket75.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index c6746f39..830e123a 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -48,7 +48,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");};
 	><li class="src short"
 	  ><span class="keyword"
 	    >data</span
-	    >  a <a href=""
+	    > a <a href=""
 	    >:-</a
 	    > b = <a href=""
 	    >Q</a
@@ -68,9 +68,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");};
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    >  a <a name="t::-45-" class="def"
+	    > a <a name="t::-45-" class="def"
 	    >:-</a
-	    > b </p
+	    > b</p
 	  ><div class="subs constructors"
 	  ><p class="caption"
 	    >Constructors</p
-- 
cgit v1.2.3