diff options
Diffstat (limited to 'Text/Pandoc/Writers/MediaWiki.hs')
-rw-r--r-- | Text/Pandoc/Writers/MediaWiki.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Text/Pandoc/Writers/MediaWiki.hs b/Text/Pandoc/Writers/MediaWiki.hs index 7d43c6fc4..050781d37 100644 --- a/Text/Pandoc/Writers/MediaWiki.hs +++ b/Text/Pandoc/Writers/MediaWiki.hs @@ -259,7 +259,7 @@ vcat (x:xs) = x ++ "\n" ++ vcat xs colHeadsToMediaWiki :: WriterOptions -> [[Char]] - -> [Float] + -> [Double] -> [[Block]] -> State WriterState String colHeadsToMediaWiki opts alignStrings widths headers = do @@ -286,7 +286,7 @@ tableRowToMediaWiki opts aligns columns = tableItemToMediaWiki :: WriterOptions -> [Char] -> [Char] - -> Float + -> Double -> [Block] -> State WriterState String tableItemToMediaWiki opts tag' align' width' item = do |