# HG changeset patch # User Adam Chlipala # Date 1313354796 14400 # Node ID e627bab3eda7706325dae97eb7159f06a5ae176e # Parent cbacd38d4ec25eaadcae50bb0b14ccc0eede579f Fix list urlification diff -r cbacd38d4ec2 -r e627bab3eda7 src/cjr_print.sml --- a/src/cjr_print.sml Sun Aug 14 09:31:53 2011 -0400 +++ b/src/cjr_print.sml Sun Aug 14 16:46:36 2011 -0400 @@ -832,7 +832,7 @@ space, string "+=", space, - string "3, (*request == '/' ? *request++ = 0 : 0), NULL) : ((!strncmp(*request, \"Cons\", 4) && ((*request)[4] == 0 ", + string "3, ((*request)[0] == '/' ? *request++ = 0 : 0), NULL) : ((!strncmp(*request, \"Cons\", 4) && ((*request)[4] == 0 ", string "|| (*request)[4] == '/')) ? (*request", space, string "+=",