diff options
author | sternenseemann <git@lukasepple.de> | 2017-02-17 20:38:48 +0100 |
---|---|---|
committer | sternenseemann <git@lukasepple.de> | 2017-02-17 20:38:48 +0100 |
commit | 61f32a011b2eeecbd9ba2dcc36cb42b117fb1e87 (patch) | |
tree | f8a7673d3c3b499ccff5503d205da4c222b2670c | |
parent | 7d1d4a9dc1a1ce28afa78c9db2e5cc3fef804693 (diff) |
Fix block parser
-rw-r--r-- | src/log.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/log.ml b/src/log.ml index 4b5df4b..d02fc8f 100644 --- a/src/log.ml +++ b/src/log.ml @@ -54,7 +54,7 @@ let rec block indent = let checkforblock = function | None -> false | Some '\n' -> false - | Some _ -> true + | Some c -> if indent > 0 then c = ' ' else true in String.append <$> (count indent (char ' ') *> non_empty_line) <*> (peek_char |