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/unnest.sml | 1 - 1 file changed, 1 deletion(-) (limited to 'src/unnest.sml') diff --git a/src/unnest.sml b/src/unnest.sml index 2d6956cb..52d729d7 100644 --- a/src/unnest.sml +++ b/src/unnest.sml @@ -428,7 +428,6 @@ fun unnest file = | DTable _ => default () | DSequence _ => default () | DView _ => default () - | DClass _ => default () | DDatabase _ => default () | DCookie _ => default () | DStyle _ => default () -- cgit v1.2.3