Mercurial > urweb

diff src/elab_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 318ba997a149
children 1aa9629e3a4c
line wrap: on
line diff
--- a/src/elab_print.sml	Thu Jul 26 10:04:58 2012 -0400
+++ b/src/elab_print.sml	Sun Jul 29 12:27:13 2012 -0400
@@ -828,17 +828,6 @@
                                       string "as",
                                       space,
                                       p_exp env e]
-      | DClass (x, n, k, c) => box [string "class",
-                                    space,
-                                    p_named x n,
-                                    space,
-                                    string "::",
-                                    space,
-                                    p_kind env k,
-                                    space,
-                                    string "=",
-                                    space,
-                                    p_con env c]
       | DDatabase s => box [string "database",
                             space,
                             string s]