aboutsummaryrefslogtreecommitdiff
path: root/unicode.ml
diff options
context:
space:
mode:
Diffstat (limited to 'unicode.ml')
-rwxr-xr-xunicode.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/unicode.ml b/unicode.ml
index eb0d60d..cc8c087 100755
--- a/unicode.ml
+++ b/unicode.ml
@@ -1,4 +1,4 @@
-type t = Uutf.uchar array
+type t = Uchar.t array
type decoder_encoding = Uutf.decoder_encoding