aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/jid.ml5
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/jid.ml b/lib/jid.ml
index 7942b1c..9d9bb58 100644
--- a/lib/jid.ml
+++ b/lib/jid.ml
@@ -24,11 +24,6 @@ let uchars_of_string s : uchars =
loop (u :: acc) (i + k)
in loop [] 0
-let string_of_uchars (u : uchars) =
- let buf = Buffer.create (4 * List.length u) in
- List.iter (Buffer.add_utf_8_uchar buf) u;
- Buffer.to_bytes buf |> String.of_bytes
-
let of_string (s : string) : t =
let open List in
let jid = uchars_of_string s in