From 631e5c16fc00ed5f08b4c1152c02f69c4f8411e1 Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Thu, 26 Jul 2012 18:56:19 -0700
Subject: pandoc:  Set readerExtensions instead of readerStrict.

---
 src/Text/Pandoc/Options.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/Text')

diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs
index 88fdbfb00..6784219c9 100644
--- a/src/Text/Pandoc/Options.hs
+++ b/src/Text/Pandoc/Options.hs
@@ -38,10 +38,11 @@ import Data.Default
 
 -- | Individually selectable syntax extensions.
 data Extension = Footnotes
-               | TeX_math
+               | Tex_math
                | Delimited_code_blocks
-               | Markdown_in_HTML_blocks
+               | Markdown_in_html_blocks
                | Fancy_lists
+               | Startnum
                | Definition_lists
                | Header_identifiers
                | All_symbols_escapable
-- 
cgit v1.2.3