From d7ce278ada49cbfdeeec35d12f86bcea56b4a6c9 Mon Sep 17 00:00:00 2001 From: Shaked Flur Date: Sat, 16 Dec 2017 16:41:23 +0000 Subject: compatibility with OCaml 4.06.0; imported new version of PPrint (20171003) --- src/reporting_basic.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/reporting_basic.ml') diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml index 0a9a588f..e7812a63 100644 --- a/src/reporting_basic.ml +++ b/src/reporting_basic.ml @@ -152,9 +152,9 @@ let format_loc_source ff l = begin let (s, multi_line) = read_from_file_pos2 p1 p2 in if multi_line then - Format.fprintf ff " original input:\n%s\n" s + Format.fprintf ff " original input:\n%s\n" (Bytes.to_string s) else - Format.fprintf ff " original input: \"%s\"\n" s + Format.fprintf ff " original input: \"%s\"\n" (Bytes.to_string s) end | _ -> () -- cgit v1.2.3