@@ -870,9 +870,11 @@ defListItemToLaTeX (term, defs) = do
870870 else term'
871871 def' <- liftM vsep $ mapM blockListToLaTeX defs
872872 return $ case defs of
873− ((Header{} : _) : _) ->
873+ ((Header{} : _) : _) ->
874874 "\\item" <> brackets term'' <> " ~ " $$ def'
875− _ ->
875+ ((CodeBlock{} : _) : _) -> -- see #4662
876+ "\\item" <> brackets term'' <> " ~ " $$ def'
877+ _ ->
876878 "\\item" <> brackets term'' $$ def'
877879
878880-- | Craft the section header, inserting the secton reference, if supplied.