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/SpuriousSuperclassConstraints.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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

diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index b5aa56b3..e73ef2ac 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -77,7 +77,11 @@ Fix spurious superclass constraints bug.</pre
 	    >data</span
 	    > <a id="t:SomeType" class="def"
 	    >SomeType</a
-	    > f a <a href="#" class="selflink"
+	    > (f :: <a href="#"
+	    >*</a
+	    > -&gt; <a href="#"
+	    >*</a
+	    >) a <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-- 
cgit v1.2.3