From 2417b8e5fd80c5de632c9c661d5a0c92120f8110 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 15 Dec 2017 12:49:56 +0100 Subject: [PATCH] small fixes --- _tags | 2 +- src/Sequence.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/_tags b/_tags index 825dc26..2e4613b 100644 --- a/_tags +++ b/_tags @@ -27,7 +27,7 @@ : pkg_benchmark : use_sequence # OASIS_STOP -true: bin_annot, color(always) +true: safe_string, bin_annot, color(always) <**/*.ml>: warn(+a-4-44-48@8) : warn(-33) true: mark_tag_used diff --git a/src/Sequence.ml b/src/Sequence.ml index 47b8f70..aa0e350 100644 --- a/src/Sequence.ml +++ b/src/Sequence.ml @@ -1107,7 +1107,7 @@ let to_buffer seq buf = (*$R let b = Buffer.create 4 in "hello world" - |> of_str |> rev |> map Char.uppercase + |> of_str |> rev |> map Char.uppercase_ascii |> (fun seq -> to_buffer seq b); OUnit.assert_equal "DLROW OLLEH" (Buffer.contents b); *)