@@ -716,6 +716,7 @@ normalizeSpaces [] = []
716normalizeSpaces list =
716normalizeSpaces list =
717 let removeDoubles [] = []
717 let removeDoubles [] = []
718 removeDoubles (Space:Space:rest) = removeDoubles (Space:rest)
718 removeDoubles (Space:Space:rest) = removeDoubles (Space:rest)
719+ removeDoubles (Space:(Str ""):Space:rest) = removeDoubles (Space:rest)
719 removeDoubles ((Str ""):rest) = removeDoubles rest
720 removeDoubles ((Str ""):rest) = removeDoubles rest
720 removeDoubles (x:rest) = x:(removeDoubles rest)
721 removeDoubles (x:rest) = x:(removeDoubles rest)
721 removeLeading (Space:xs) = removeLeading xs
722 removeLeading (Space:xs) = removeLeading xs