1 files changed, 0 insertions, 74 deletions
diff --git a/html-test/tests/mini_Hash.html.ref b/html-test/tests/mini_Hash.html.ref
deleted file mode 100644
index 1e6ad1a9..00000000
--- a/html-test/tests/mini_Hash.html.ref
+++ /dev/null
@@ -1,74 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml"
-><head
-  ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
-     /><title
-    >Hash</title
-    ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
-     /><script src="haddock-util.js" type="text/javascript"
-    ></script
-    ><script type="text/javascript"
-    >//<![CDATA[
-window.onload = function () {pageLoad();};
-//]]>
-</script
-    ></head
-  ><body id="mini"
-  ><div id="module-header"
-    ><p class="caption"
-      >Hash</p
-      ></div
-    ><div id="interface"
-    ><h1
-      >The <code
-	>HashTable</code
-	> type
-</h1
-      ><div class="top"
-      ><p class="src"
-	><span class="keyword"
-	  >data</span
-	  > <a href="" target="main"
-	  >HashTable</a
-	  > key val</p
-	></div
-      ><h2
-      >Operations on <code
-	>HashTable</code
-	>s
-</h2
-      ><div class="top"
-      ><p class="src"
-	><a href="" target="main"
-	  >new</a
-	  ></p
-	></div
-      ><div class="top"
-      ><p class="src"
-	><a href="" target="main"
-	  >insert</a
-	  ></p
-	></div
-      ><div class="top"
-      ><p class="src"
-	><a href="" target="main"
-	  >lookup</a
-	  ></p
-	></div
-      ><h1
-      >The <code
-	>Hash</code
-	> class
-</h1
-      ><div class="top"
-      ><p class="src"
-	><span class="keyword"
-	  >class</span
-	  > <a href="" target="main"
-	  >Hash</a
-	  > a</p
-	></div
-      ></div
-    ></body
-  ></html
->