From 29c76f761fe131cc00272eed9a0137953dba6180 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Fri, 17 Mar 2017 15:10:40 -0700
Subject: Update test suite to expect kind annotations on type parameters.

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

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

diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 6062db4f..257d59f1 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -159,9 +159,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
 	  ><li class="src short"
 	  ><span class="keyword"
 	    >class</span
-	    > a <a href="#"
+	    > (a :: k) <a href="#"
 	    >&gt;&lt;</a
-	    > b</li
+	    > (b :: k)</li
 	  ></ul
 	></div
       ><div id="interface"
@@ -1779,9 +1779,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
 	><p class="src"
 	  ><span class="keyword"
 	    >class</span
-	    > a <a id="t:-62--60-" class="def"
+	    > (a :: k) <a id="t:-62--60-" class="def"
 	    >&gt;&lt;</a
-	    > b <a href="#" class="selflink"
+	    > (b :: k) <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-- 
cgit v1.2.3