diff src/reduce.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
line wrap: on
line diff
--- a/src/reduce.sml	Thu Apr 09 16:36:50 2009 -0400
+++ b/src/reduce.sml	Sun Apr 12 10:08:11 2009 -0400
@@ -469,6 +469,7 @@
               | DSequence _ => (d, st)
               | DDatabase _ => (d, st)
               | DCookie (s, n, c, s') => ((DCookie (s, n, con namedC [] c, s'), loc), st)
+              | DStyle (s, n, c, s') => ((DStyle (s, n, con namedC [] c, s'), loc), st)
 
         val (file, _) = ListUtil.foldlMap doDecl (IM.empty, IM.empty) file
     in