diff options
Diffstat (limited to 'lang/smlnj/files/do-patch-smlnj-lib_JSON_json-stream-printer.sml')
| -rw-r--r-- | lang/smlnj/files/do-patch-smlnj-lib_JSON_json-stream-printer.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/smlnj/files/do-patch-smlnj-lib_JSON_json-stream-printer.sml b/lang/smlnj/files/do-patch-smlnj-lib_JSON_json-stream-printer.sml index cf92e1ed2d51..51c8c0526de5 100644 --- a/lang/smlnj/files/do-patch-smlnj-lib_JSON_json-stream-printer.sml +++ b/lang/smlnj/files/do-patch-smlnj-lib_JSON_json-stream-printer.sml @@ -1,6 +1,6 @@ ---- smlnj-lib/JSON/json-stream-printer.sml.orig 2017-07-14 22:32:40.000000000 +0200 -+++ smlnj-lib/JSON/json-stream-printer.sml 2017-10-25 20:33:53.541874000 +0200 -@@ -103,14 +103,14 @@ +--- smlnj-lib/JSON/json-stream-printer.sml.orig 2017-07-14 20:32:40 UTC ++++ smlnj-lib/JSON/json-stream-printer.sml +@@ -103,14 +103,14 @@ structure JSONStreamPrinter : sig fun tr (i, chrs) = (case getWChar i of SOME(wchr, i) => if (wchr <= 0w126) then (case UTF8.toAscii wchr |