Mercurial > urweb
diff src/source_print.sml @ 1797:bb942416bf1c
Remove 'class' declaration; now use 'con' instead
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Jul 2012 12:27:13 -0400 |
parents | 4a03aa3251cb |
children | 1aa9629e3a4c |
line wrap: on
line diff
--- a/src/source_print.sml Thu Jul 26 10:04:58 2012 -0400 +++ b/src/source_print.sml Sun Jul 29 12:27:13 2012 -0400 @@ -640,13 +640,6 @@ string "=", space, p_exp e] - | DClass (x, k, c) => box [string "class", - space, - string x, - space, - string "=", - space, - p_con c] | DDatabase s => box [string "database", space,