diff options
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 1c809f38..ddeb8ea5 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1090,7 +1090,13 @@ fun urlify env t = box [string "if (it0) {", newline, if isUnboxable t then - urlify' 0 t + box [string "uw_write(ctx, \"", + string has_arg, + string "/\");", + newline, + urlify' 0 t, + string ";", + newline] else box [p_typ env t, space, |