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