diff --git a/src/libraries/utils/sanitizer.ml b/src/libraries/utils/sanitizer.ml index cb0d0148b09c826865e3e4859bda5360660d2c9b..88e5d52951d76da87943d0c6c7bef55557999aff 100644 --- a/src/libraries/utils/sanitizer.ml +++ b/src/libraries/utils/sanitizer.ml @@ -63,7 +63,7 @@ let add_sep buffer = else begin buffer.state <- TRUNCATE ; - (* TODO [OCaml 4.05] Buffer.truncate buffer.content buffer.lastsep ; *) + Buffer.truncate buffer.content buffer.lastsep end let add_char buffer = function @@ -92,8 +92,4 @@ let rec add_list buffer = function | p::ps -> add_string buffer p ; add_sep buffer ; add_list buffer ps let contents buffer = - (* TODO [OCaml 4.05] simply buffer contents if using Buffer.truncate *) - let s = Buffer.contents buffer.content in - if buffer.state = TRUNCATE then - String.sub s 0 buffer.lastsep - else s + Buffer.contents buffer.content