fix error on notice
This commit is contained in:
parent
963425b701
commit
3121030a2a
@ -45,6 +45,8 @@ and line_content buf =
|
||||
Notice (extract_notice (lxm buf))
|
||||
| " * ", any_except_eol, eol ->
|
||||
Action (extract_action (lxm buf))
|
||||
| " -", any_except_eol, "- ", any_except_eol, eol ->
|
||||
Notice "TODO"
|
||||
| _ ->
|
||||
failwith "unexpected character (line_content)"
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user