summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-11 18:39:38 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-11 18:39:38 -0500
commitf3e4bff668d3be5fcc7a2f6d04b7d9efb8f10624 (patch)
tree4dfd76fccafb08fbb1f8a4dff3262515b7a0c590 /src/cjr_print.sml
parent16c1bacfe1116391bb7b9a459e7ad53930f2719b (diff)
Handle nullary transaction pages; avoid marking up headers array when reading cookies
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r--src/cjr_print.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index cb88ca84..1c750b33 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -1481,9 +1481,9 @@ fun p_exp' par env (e, loc) =
in
box [string "({",
newline,
- string "uw_Basis_string request = ",
+ string "uw_Basis_string request = uw_Basis_strdup(ctx, ",
p_exp env e,
- string ";",
+ string ");",
newline,
newline,
string "(request ? ",