LaTeX reader: don't eat whitespace after macro with only opt arg.

Closes #2446.
This commit is contained in:
John MacFarlane 2015-10-09 10:32:31 -07:00
parent c13494c808
commit 1af8bc6f4d

View file

@ -234,7 +234,9 @@ blocks = mconcat <$> many block
getRawCommand :: String -> LP String
getRawCommand name' = do
rawargs <- withRaw (skipopts *> option "" dimenarg *> many braced)
rawargs <- withRaw (opt `sepBy` (optional sp) *>
option "" (optional sp *> dimenarg) *>
many braced)
return $ '\\' : name' ++ snd rawargs
lookupListDefault :: (Ord k) => v -> [k] -> M.Map k v -> v