haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

follow the api changes of Zed_string.ends_with

This commit is contained in:
ZAN DoYe 2019-05-17 12:01:04 +08:00
parent da0fa23a05
commit 3b1f930dfb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/uTop_main.ml
View File

@ -137,7 +137,7 @@ let parse_and_check input eos_is_error =
let add_terminator s = let add_terminator s =
let terminator = UTop.get_phrase_terminator () |> Zed_string.unsafe_of_utf8 in let terminator = UTop.get_phrase_terminator () |> Zed_string.unsafe_of_utf8 in
if Zed_string.ends_with s terminator then if Zed_string.ends_with s ~suffix:terminator then
s s
else else
Zed_string.append s terminator Zed_string.append s terminator