diff src/unnest.sml @ 459:f542bc3133dc

Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents d4a81273d4b1
children 33d5bd69da00
line wrap: on
line diff
--- a/src/unnest.sml	Thu Nov 06 10:04:03 2008 -0500
+++ b/src/unnest.sml	Thu Nov 06 10:29:55 2008 -0500
@@ -348,6 +348,7 @@
                   | DSequence _ => default ()
                   | DClass _ => default ()
                   | DDatabase _ => default ()
+                  | DCookie _ => default ()
             end
 
         and doStr (all as (str, loc), st) =