From 4211ec9bd6e9d8172f74cdb56a1207fc1d64990f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 29 Jul 2012 12:27:13 -0400
Subject: Remove 'class' declaration; now use 'con' instead

---
 src/source_print.sml | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'src/source_print.sml')

diff --git a/src/source_print.sml b/src/source_print.sml
index aad673f3..cd3314e1 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -640,13 +640,6 @@ fun p_decl ((d, _) : decl) =
                              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,
-- 
cgit v1.2.3