Mercurial > urweb
diff src/elab_print.sml @ 460:d34834af4512
Cookies through explify
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 06 Nov 2008 10:43:48 -0500 |
| parents | f542bc3133dc |
| children | ae03d09043c1 |
line wrap: on
line diff
--- a/src/elab_print.sml Thu Nov 06 10:29:55 2008 -0500 +++ b/src/elab_print.sml Thu Nov 06 10:43:48 2008 -0500 @@ -516,16 +516,6 @@ string "~", space, p_con env c2] - | SgiTable (_, x, n, c) => box [string "table", - space, - p_named x n, - space, - string ":", - space, - p_con env c] - | SgiSequence (_, x, n) => box [string "sequence", - space, - p_named x n] | SgiClassAbs (x, n) => box [string "class", space, p_named x n] @@ -536,13 +526,6 @@ string "=", space, p_con env c] - | SgiCookie (_, x, n, c) => box [string "cookie", - space, - p_named x n, - space, - string ":", - space, - p_con env c] and p_sgn env (sgn, _) = case sgn of