diff options
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 |