use exposed add_uchar instead of creating a new buffer for \u
@@ -1 +1 @@
-Subproject commit e71efd46c68468b8225a44dae5a571e3d992670d
+Subproject commit 47b5801cbfca8d45de3b4790aa49576da1a1212d
@@ -531,9 +531,7 @@ let unescape s =
with _ ->
fail()
in
- let ub = UTF8.Buf.create 0 in
- UTF8.Buf.add_char ub (UChar.uchar_of_int u);
- Buffer.add_string b (UTF8.Buf.contents ub);
+ UTF8.add_uchar b (UChar.uchar_of_int u);
inext := !inext + a;
| _ ->
fail());