From b4210d41de296ee0f9d212e8d5b9fc186880a3e7 Mon Sep 17 00:00:00 2001
From: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>
Date: Fri, 11 Apr 2014 16:52:23 +0100
Subject: We don't actually want unicode here
---
html-test/src/Bug85.hs | 1 -
1 file changed, 1 deletion(-)
(limited to 'html-test')
diff --git a/html-test/src/Bug85.hs b/html-test/src/Bug85.hs
index 9c5b768b..e29b2662 100644
--- a/html-test/src/Bug85.hs
+++ b/html-test/src/Bug85.hs
@@ -1,5 +1,4 @@
{-# LANGUAGE GADTs, KindSignatures #-}
-{-# OPTIONS_HADDOCK use-unicode #-}
module Bug85 where
-- explicitly stated non-trivial kind
--
cgit v1.2.3