diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-04 15:50:28 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-04 15:50:28 -0400 |
commit | 2eca16323e58b01a70ea734e2825765ebe239dc0 (patch) | |
tree | 01925fb11414b663a27842adee1f417c8df1c2a2 /src/source_print.sml | |
parent | 4bf39f1d330d41b33ccdaac9c037dd8737f05975 (diff) |
Merge CDisjoint and TDisjoint
Diffstat (limited to 'src/source_print.sml')
-rw-r--r-- | src/source_print.sml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/source_print.sml b/src/source_print.sml index e1a8de7a..324b50d5 100644 --- a/src/source_print.sml +++ b/src/source_print.sml @@ -81,15 +81,6 @@ fun p_con' par (c, _) = string "->", space, p_con c]) - | TDisjoint (c1, c2, c3) => parenIf par (box [p_con c1, - space, - string "~", - space, - p_con c2, - space, - string "->", - space, - p_con c3]) | TRecord (CRecord xcs, _) => box [string "{", p_list (fn (x, c) => box [p_name x, |