31 lines
954 B
Diff
31 lines
954 B
Diff
|
From 84ffcbebb71293e419154b0093cfc81f64e885fa Mon Sep 17 00:00:00 2001
|
||
|
|
From: =?UTF-8?q?Daniel=20B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
|
||
|
|
Date: Wed, 15 Mar 2017 23:37:03 +0100
|
||
|
|
Subject: [PATCH] Safe-string support.
|
||
|
|
|
||
|
|
(cherry picked from commit 0e29ed18ce6617a45de478cde07db4c1625c5a64)
|
||
|
|
---
|
||
|
|
_tags | 2 +-
|
||
|
|
opam | 2 +-
|
||
|
|
src/xmlm.ml | 4 ++--
|
||
|
|
3 files changed, 4 insertions(+), 4 deletions(-)
|
||
|
|
|
||
|
|
diff --git a/src/xmlm.ml b/src/xmlm.ml
|
||
|
|
index 1bb8bbc..c97501a 100644
|
||
|
|
--- a/src/xmlm.ml
|
||
|
|
+++ b/src/xmlm.ml
|
||
|
|
@@ -960,8 +960,8 @@ struct
|
||
|
|
|
||
|
|
let make_output ?(decl = true) ?(nl = false) ?(indent = None)
|
||
|
|
?(ns_prefix = fun _ ->None) d =
|
||
|
|
- let outs, outc = match d with
|
||
|
|
- | `Channel c -> (output c), (output_char c)
|
||
|
|
+ let outs, outc = match d with
|
||
|
|
+ | `Channel c -> (output_substring c), (output_char c)
|
||
|
|
| `Buffer b -> (Std_buffer.add_substring b), (Std_buffer.add_char b)
|
||
|
|
| `Fun f ->
|
||
|
|
let os s p l =
|
||
|
|
--
|
||
|
|
2.13.1
|
||
|
|
|