Skip to content
Snippets Groups Projects
Commit 99e37051 authored by Mateusz Kowalczyk's avatar Mateusz Kowalczyk
Browse files

We don't actually want unicode here

parent c1e330fb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
html-test/src/Bug85.hs
+ 0
− 1
View file @ 99e37051
{-# LANGUAGE GADTs, KindSignatures #-} {-# LANGUAGE GADTs, KindSignatures #-}
{-# OPTIONS_HADDOCK use-unicode #-}
module Bug85 where module Bug85 where
-- explicitly stated non-trivial kind -- explicitly stated non-trivial kind
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment