From df1522e1ebe7e6ece9f53d2d69963991cf3f97c0 Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Tue, 9 Apr 2013 19:53:48 -0700
Subject: [PATCH] Removed unnecessary OPTIONS flag in Haddock/Parse.y.
---
src/Text/Pandoc/Readers/Haddock/Parse.y | 1 -
1 file changed, 1 deletion(-)
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