diff src/prim.sml @ 95:274116d1a4cd

Monoizing joins and tags
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:53:28 -0400
parents f1c36df29ed7
children c0ea24dcb86f
line wrap: on
line diff
--- a/src/prim.sml	Thu Jul 03 17:39:17 2008 -0400
+++ b/src/prim.sml	Thu Jul 03 17:53:28 2008 -0400
@@ -39,6 +39,6 @@
     case t of
         Int n => string (Int64.toString n)
       | Float n => string (Real64.toString n)
-      | String s => box [string "\"", string s, string "\""]
+      | String s => box [string "\"", string (String.toString s), string "\""]
 
 end