diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-03 18:53:20 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-03 18:53:20 -0400 |
commit | f946d43f10e2f78d179db30c3c9ae8dcc10f3c10 (patch) | |
tree | 96feb9219e03b0d172f13bf75f747e6f26efdefa /src/mono_print.sml | |
parent | 3e65e1558de55a1a47a62690b48159d92a4ed072 (diff) |
bool in Basis
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r-- | src/mono_print.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml index ea8458eb..91e48b7f 100644 --- a/src/mono_print.sml +++ b/src/mono_print.sml @@ -80,7 +80,7 @@ fun p_con_named env n = fun p_patCon env pc = case pc of PConVar n => p_con_named env n - | PConFfi {mod = m, con, ...} => box [string "FFI(", + | PConFfi {mod = m, con, ...} => box [string "FFIC(", string m, string ".", string con, |