diff options
author | Ryan Kavanagh <rak@rak.ac> | 2020-06-08 22:04:42 -0400 |
---|---|---|
committer | Ryan Kavanagh <rak@rak.ac> | 2020-06-08 22:04:42 -0400 |
commit | 08cf9b09f53f999cad569aad9547edf6d2bf819c (patch) | |
tree | 51b9753c032071c312c82932a405c097a9e3526e /gemini/parseCommon.mli | |
parent | Fix ciphers (diff) |
Fix parsing errors involving crlf vs eol
Diffstat (limited to 'gemini/parseCommon.mli')
-rw-r--r-- | gemini/parseCommon.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gemini/parseCommon.mli b/gemini/parseCommon.mli index 2994e6e..f469c6f 100644 --- a/gemini/parseCommon.mli +++ b/gemini/parseCommon.mli @@ -12,7 +12,9 @@ sig val skip_spaces : unit Angstrom.t - val take_till_cr : string Angstrom.t + val take_till_crlf : string Angstrom.t + + val take_till_eol : string Angstrom.t end module ParseCommon : PARSE_COMMON |