diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2013-04-09 19:53:48 -0700 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-04-09 19:53:48 -0700 |
| commit | df1522e1ebe7e6ece9f53d2d69963991cf3f97c0 (patch) | |
| tree | 07cd8c1d201e38000cbf076bd2ada8c7498f4326 /src/Text/Pandoc/Readers/Haddock/Parse.y | |
| parent | 6dbf1859a26a49c3c065e36ea2beff57f369bdc9 (diff) | |
Removed unnecessary OPTIONS flag in Haddock/Parse.y.
Diffstat (limited to 'src/Text/Pandoc/Readers/Haddock/Parse.y')
| -rw-r--r-- | src/Text/Pandoc/Readers/Haddock/Parse.y | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Readers/Haddock/Parse.y b/src/Text/Pandoc/Readers/Haddock/Parse.y index 27185092c..e801a15c0 100644 --- a/src/Text/Pandoc/Readers/Haddock/Parse.y +++ b/src/Text/Pandoc/Readers/Haddock/Parse.y @@ -2,7 +2,6 @@ -- into Pandoc by David Lazar. { {-# LANGUAGE BangPatterns #-} -- required for versions of Happy before 1.18.6 -{-# OPTIONS -Wwarn -w #-} -- The above warning supression flag is a temporary kludge. -- While working on this module you are encouraged to remove it and fix -- any warnings in the module. See |