diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-02-13 10:43:37 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-02-13 10:43:37 -0500 |
commit | 9f47df12110b1cfd13b4057820b0788649160427 (patch) | |
tree | ecac51019e254b2a60ccd54854b95f7009dd8755 /src/core_print.sml | |
parent | f769377366c0ece0caa31e4d09179f4c9669660c (diff) | |
parent | 5ca6148aaf7b930a8868d0543f1a307d40532243 (diff) |
Merge branch 'dfsg_clean'
Diffstat (limited to 'src/core_print.sml')
-rw-r--r-- | src/core_print.sml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/core_print.sml b/src/core_print.sml index f360f346..5c71e978 100644 --- a/src/core_print.sml +++ b/src/core_print.sml @@ -224,8 +224,7 @@ fun p_patCon env pc = fun p_pat' par env (p, _) = case p of - PWild => string "_" - | PVar (s, _) => string s + PVar (s, _) => string s | PPrim p => Prim.p_t p | PCon (_, n, _, NONE) => p_patCon env n | PCon (_, n, _, SOME p) => parenIf par (box [p_patCon env n, |