From b4210d41de296ee0f9d212e8d5b9fc186880a3e7 Mon Sep 17 00:00:00 2001 From: Mateusz Kowalczyk 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/src/Bug85.hs') 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