Mercurial > urweb
diff src/elab.sml @ 1797:bb942416bf1c
Remove 'class' declaration; now use 'con' instead
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Jul 2012 12:27:13 -0400 |
parents | 6c00d8af6239 |
children | 1aa9629e3a4c |
line wrap: on
line diff
--- a/src/elab.sml Thu Jul 26 10:04:58 2012 -0400 +++ b/src/elab.sml Sun Jul 29 12:27:13 2012 -0400 @@ -175,7 +175,6 @@ | DTable of int * string * int * con * exp * con * exp * con | DSequence of int * string * int | DView of int * string * int * exp * con - | DClass of string * int * kind * con | DDatabase of string | DCookie of int * string * int * con | DStyle of int * string * int