From 5731f3b94f560eb2e604871609c7ea139e932ad2 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Tue, 10 May 2016 18:09:50 +0200
Subject: html-test: Update reference output

---
 html-test/ref/PatternSyns.html | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index ffebdf27..70e9230b 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -91,13 +91,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    >(:&lt;-&gt;)</a
 	    > :: <span class="keyword"
 	    >forall</span
-	    > t t. t -&gt; t -&gt; (<a href="#"
+	    > t t1. t -&gt; t1 -&gt; (<a href="#"
 	    >FooType</a
 	    > t, <a href="#"
 	    >FooType</a
 	    > (<a href="#"
 	    >FooType</a
-	    > t))</li
+	    > t1))</li
 	  ><li class="src short"
 	  ><span class="keyword"
 	    >data</span
@@ -113,9 +113,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    >E</a
 	    > :: <span class="keyword"
 	    >forall</span
-	    > k t t. <a href="#"
+	    > k t t1. <a href="#"
 	    >(&gt;&lt;)</a
-	    > k t t</li
+	    > k t t1</li
 	  ></ul
 	></div
       ><div id="interface"
@@ -203,13 +203,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    >(:&lt;-&gt;)</a
 	    > :: <span class="keyword"
 	    >forall</span
-	    > t t. t -&gt; t -&gt; (<a href="#"
+	    > t t1. t -&gt; t1 -&gt; (<a href="#"
 	    >FooType</a
 	    > t, <a href="#"
 	    >FooType</a
 	    > (<a href="#"
 	    >FooType</a
-	    > t)) <a href="#" class="selflink"
+	    > t1)) <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="doc"
@@ -261,9 +261,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    >E</a
 	    > :: <span class="keyword"
 	    >forall</span
-	    > k t t. <a href="#"
+	    > k t t1. <a href="#"
 	    >(&gt;&lt;)</a
-	    > k t t <a href="#" class="selflink"
+	    > k t t1 <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="doc"
-- 
cgit v1.2.3