diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-29 12:27:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-29 12:27:13 -0400 |
| commit | 07329580f4750d5ac97876ed57f5481e9a81dc96 (patch) | |
| tree | 64d9ddce82db685341ff2fa640f4accad0ecfbdc /src/elab_print.sml | |
| parent | f5331f50f3628c067cd9f8e1320d5df49d92f3cf (diff) | |
Remove 'class' declaration; now use 'con' instead
Diffstat (limited to 'src/elab_print.sml')
| -rw-r--r-- | src/elab_print.sml | 11 |
1 files changed, 0 insertions, 11 deletions
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] |