| commit | 0137a331b538bb529de7fb6e03d2a3936831dde5 | [log] [tgz] |
|---|---|---|
| author | NDTSTN <indietasten@gmail.com> | Fri Jul 19 06:11:53 2019 |
| committer | Andreas Rossberg <rossberg@chromium.org> | Fri Jul 19 06:11:53 2019 |
| tree | cb0a68efb0ad3fe45b004301f7e671860c103360 | |
| parent | 666dc4cb8d4a81d386a7a716000bb85fbbbd06a2 [diff] |
[interpreter] Fix typo in comment (#1045)
diff --git a/interpreter/binary/utf8.mli b/interpreter/binary/utf8.mli index 3a70c3c..3b5994a 100644 --- a/interpreter/binary/utf8.mli +++ b/interpreter/binary/utf8.mli
@@ -1,4 +1,4 @@ exception Utf8 -val decode : string -> int list (* raises UTf8 *) +val decode : string -> int list (* raises Utf8 *) val encode : int list -> string (* raises Utf8 *)