diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-04-11 16:52:23 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-04-11 16:52:23 +0100 |
| commit | b4210d41de296ee0f9d212e8d5b9fc186880a3e7 (patch) | |
| tree | 84c3f6ae61757a816861e206bb4dceccb2d85a2c /html-test/src/Bug85.hs | |
| parent | b1420ef9c8fdb2728128ad51fb0b636f69932eb7 (diff) | |
We don't actually want unicode here
Diffstat (limited to 'html-test/src/Bug85.hs')
| -rw-r--r-- | html-test/src/Bug85.hs | 1 |
1 files changed, 0 insertions, 1 deletions
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 |