From 4211ec9bd6e9d8172f74cdb56a1207fc1d64990f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 29 Jul 2012 12:27:13 -0400 Subject: Remove 'class' declaration; now use 'con' instead --- src/elab_print.sml | 11 ----------- 1 file changed, 11 deletions(-) (limited to 'src/elab_print.sml') diff --git a/src/elab_print.sml b/src/elab_print.sml index 37669312..c32368a9 100644 --- a/src/elab_print.sml +++ b/src/elab_print.sml @@ -828,17 +828,6 @@ fun p_decl env (dAll as (d, _) : decl) = 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] -- cgit v1.2.3