From c68da19be2a3fab584973c4a9d0a93035a6d9116 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 4 Jun 2018 11:50:50 -0400
Subject: Fix to recent addition of defensive unurlification

---
 src/cjr_print.sml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index c83da031..87d2576c 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -659,7 +659,13 @@ fun unurlify fromClient env (t, loc) =
                                  doEm rest,
                                  string ")"]
                 in
-                    box [string "(request[0] == '/' ? ++request : request,",
+                    box [string "(",
+                         string request,
+                         string "[0] == '/' ? ++",
+                         string request,
+                         string " : ",
+                         string request,
+                         string ",",
                          newline,
                          doEm xncs,
                          string ")"]
-- 
cgit v1.2.3