From 4cefbfc84784d48531587e1b2687348d6f6b3700 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Apr 2009 12:31:54 -0400 Subject: Stop tracking CSS classes in XML types --- src/shake.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/shake.sml') diff --git a/src/shake.sml b/src/shake.sml index 9c95d6a3..787bfd2f 100644 --- a/src/shake.sml +++ b/src/shake.sml @@ -87,8 +87,8 @@ fun shake file = | ((DDatabase _, _), acc) => acc | ((DCookie (_, n, c, _), _), (cdef, edef)) => (cdef, IM.insert (edef, n, ([], c, dummye))) - | ((DStyle (_, n, c, _), _), (cdef, edef)) => - (cdef, IM.insert (edef, n, ([], c, dummye)))) + | ((DStyle (_, n, _), _), (cdef, edef)) => + (cdef, IM.insert (edef, n, ([], dummyt, dummye)))) (IM.empty, IM.empty) file fun kind (_, s) = s -- cgit v1.2.3