diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-03 17:53:28 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-03 17:53:28 -0400 |
commit | b11edd2101e896dd0482715686712b67f00d3099 (patch) | |
tree | f06530522246b9f2aa89514b30a136320843b918 /src/prim.sml | |
parent | 01f5a1802c6ad76f7389c500af27f8a57456b556 (diff) |
Monoizing joins and tags
Diffstat (limited to 'src/prim.sml')
-rw-r--r-- | src/prim.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prim.sml b/src/prim.sml index 95228842..f58918b7 100644 --- a/src/prim.sml +++ b/src/prim.sml @@ -39,6 +39,6 @@ fun p_t t = 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 |