diff src/cjr_print.sml @ 136:133fa2d51bb4

Dynamic arena allocation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 14:18:57 -0400
parents 78d59cf0a0cc
children 4b9c2bd6157c
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Jul 17 13:33:56 2008 -0400
+++ b/src/cjr_print.sml	Thu Jul 17 14:18:57 2008 -0400
@@ -212,7 +212,7 @@
     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"