Fixed bug in normalizeSpaces: Space:Str "":Space
should compress to Space.
git-svn-id: https://pandoc.googlecode.com/svn/trunk@845 788f1e2b-df1e-0410-8736-df70ead52e1b
commitec0e6e99410a9a6a9bca146fc77c2bba16256ac1
authorfiddlosopher <fiddlosopher@788f1e2b-df1e-0410-8736-df70ead52e1b>
dateWed 15 Aug 2007, 17:29 (19 years ago)
parent6cc5f6b
src/Text/Pandoc/Shared.hs+1
@@ -716,6 +716,7 @@ normalizeSpaces [] = []
716716normalizeSpaces list =
717717 let removeDoubles [] = []
718718 removeDoubles (Space:Space:rest) = removeDoubles (Space:rest)
719+ removeDoubles (Space:(Str ""):Space:rest) = removeDoubles (Space:rest)
719720 removeDoubles ((Str ""):rest) = removeDoubles rest
720721 removeDoubles (x:rest) = x:(removeDoubles rest)
721722 removeLeading (Space:xs) = removeLeading xs