diff src/cjr_print.sml @ 1547:553a5cc3a4b5

Fix another list unurlification segfault bug; List.foldlMi
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Aug 2011 13:41:57 -0400
parents 133c71008bef
children 02a50a9d50ea
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Aug 21 10:55:31 2011 -0400
+++ b/src/cjr_print.sml	Sun Aug 21 13:41:57 2011 -0400
@@ -861,7 +861,7 @@
                                               space,
                                               string "+=",
                                               space,
-                                              string "3, ((*request)[0] == '/' ? ((*request)[0] = 0, (*request)++) : NULL)) : ((!strncmp(*request, \"Cons\", 4) && ((*request)[4] == 0 ",
+                                              string "3, ((*request)[0] == '/' ? ((*request)[0] = 0, ++*request) : NULL), NULL) : ((!strncmp(*request, \"Cons\", 4) && ((*request)[4] == 0 ",
                                               string "|| (*request)[4] == '/')) ? (*request",
                                               space,
                                               string "+=",