diff options
Diffstat (limited to 'src/core_print.sml')
-rw-r--r-- | src/core_print.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core_print.sml b/src/core_print.sml index d749bdf9..0e797d88 100644 --- a/src/core_print.sml +++ b/src/core_print.sml @@ -162,7 +162,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, |