diff --git a/src/Cryptol/Parser/Unlit.hs b/src/Cryptol/Parser/Unlit.hs index 79c34373..b005498c 100644 --- a/src/Cryptol/Parser/Unlit.hs +++ b/src/Cryptol/Parser/Unlit.hs @@ -97,7 +97,6 @@ markdown = blanks [] | otherwise = fenced (l : current) ls - -- XXX: the fences may be indented. isOpenFence l = "```cryptol" `Text.isPrefixOf` l isCloseFence l = "```" `Text.isPrefixOf` l isBlank l = Text.all isSpace l