From 84168a777e28ab53917bc3ed448cc90e6b00a4ed Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 12 Apr 2009 12:31:54 -0400
Subject: Stop tracking CSS classes in XML types

---
 src/elab_env.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/elab_env.sml')

diff --git a/src/elab_env.sml b/src/elab_env.sml
index 828dface..6dae1d4b 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -1434,9 +1434,9 @@ fun declBinds env (d, loc) =
         in
             pushENamedAs env x n t
         end
-      | DStyle (tn, x, n, c) =>
+      | DStyle (tn, x, n) =>
         let
-            val t = (CApp ((CModProj (tn, [], "css_class"), loc), c), loc)
+            val t = (CModProj (tn, [], "css_class"), loc)
         in
             pushENamedAs env x n t
         end
-- 
cgit v1.2.3