diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-17 14:18:57 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-17 14:18:57 -0400 |
| commit | 2ae89dd4180bb36e3f37ba5f1d92d59a029552c2 (patch) | |
| tree | 640137276b8d1308ef2b4df28033b34199851dfe /src/cjr_print.sml | |
| parent | 2e00cd0bdfadfab33a3c802994c8c0e5cf565174 (diff) | |
Dynamic arena allocation
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 68184acd..4cf3300d 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -212,7 +212,7 @@ fun unurlify (t, loc) = case t of TFfi ("Basis", "int") => string "lw_unurlifyInt(&request)" | TFfi ("Basis", "float") => string "lw_unurlifyFloat(&request)" - | TFfi ("Basis", "string") => string "lw_unurlifyString(&request)" + | TFfi ("Basis", "string") => string "lw_unurlifyString(ctx, &request)" | TRecord 0 => string "lw_unit_v" |