Mercurial > urweb

diff src/source_print.sml @ 1797:bb942416bf1c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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,