comparison src/source_print.sml @ 720:acb8537f58f0

Stop tracking CSS classes in XML types
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 12:31:54 -0400
parents f152f215a02c
children 8688e01ae469
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
638 string x, 638 string x,
639 space, 639 space,
640 string ":", 640 string ":",
641 space, 641 space,
642 p_con c] 642 p_con c]
643 | DStyle (x, c) => box [string "style", 643 | DStyle x => box [string "style",
644 space, 644 space,
645 string x, 645 string x]
646 space,
647 string ":",
648 space,
649 p_con c]
650 646
651 and p_str (str, _) = 647 and p_str (str, _) =
652 case str of 648 case str of
653 StrConst ds => box [string "struct", 649 StrConst ds => box [string "struct",
654 newline, 650 newline,