@@ -894,8 +894,9 @@ inlineToLaTeX (Quoted qt lst) = do
894 then char '`' <> inner <> char '\''
894 then char '`' <> inner <> char '\''
895 else char '\x2018' <> inner <> char '\x2019'
895 else char '\x2018' <> inner <> char '\x2019'
897+ isQuoted (Span _ (x:_)) = isQuoted x
897− isQuoted (Quoted _ _) = True
898+ isQuoted (Quoted _ _) = True
898− isQuoted _ = False
899+ isQuoted _ = False
899inlineToLaTeX (Str str) = do
900inlineToLaTeX (Str str) = do
900 setEmptyLine False
901 setEmptyLine False
901 liftM literal $ stringToLaTeX TextString str
902 liftM literal $ stringToLaTeX TextString str