diff src/reduce_local.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 4a125bbc602d
children 9864b64b1700
line wrap: on
line diff
--- a/src/reduce_local.sml	Thu Apr 09 16:36:50 2009 -0400
+++ b/src/reduce_local.sml	Sun Apr 12 10:08:11 2009 -0400
@@ -152,6 +152,7 @@
               | DSequence _ => d
               | DDatabase _ => d
               | DCookie _ => d
+              | DStyle _ => d
     in
         map doDecl file
     end