diff src/unnest.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 588b9d16b00a
children 8688e01ae469
line wrap: on
line diff
--- a/src/unnest.sml	Thu Apr 09 16:36:50 2009 -0400
+++ b/src/unnest.sml	Sun Apr 12 10:08:11 2009 -0400
@@ -407,6 +407,7 @@
                   | DClass _ => default ()
                   | DDatabase _ => default ()
                   | DCookie _ => default ()
+                  | DStyle _ => default ()
             end
 
         and doStr (all as (str, loc), st) =