diff options
author | major seitan <majorseitan@users.noreply.github.com> | 2018-06-02 14:58:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-02 14:58:45 -0400 |
commit | 87c86c5d2066a8805c7e72e3279ae8d5822f0c90 (patch) | |
tree | 02fa912c9b44ee07c0fcfe2bad0e2b686d0103b3 /src/cjr_print.sml | |
parent | b4ffc6c4837e06c48a1a15ea662c25aa92566bf6 (diff) | |
parent | 1c493e9ec47f4754dd7237078e8c4f3300925ce3 (diff) |
Merge branch 'master' into master
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 1fdb45d9..43265fb8 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -659,7 +659,10 @@ fun unurlify fromClient env (t, loc) = doEm rest, string ")"] in - doEm xncs + box [string "(request[0] == '/' ? ++request : request,", + newline, + doEm xncs, + string ")"] end | TDatatype (Option, i, xncs) => |