From 949880b71b6b3d105ff5d73b1cf6958509b85c1e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 12:07:21 -0400
Subject: Catching duplicate cookie and style paths

---
 src/monoize.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index 3fd4f730..7523f2dd 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2725,7 +2725,8 @@ fun monoDecl (env, fm) (all as (d, loc)) =
             in
                 SOME (Env.pushENamed env x n t NONE s,
                       fm,
-                      [(L'.DVal (x, n, t', e, s), loc)])
+                      [(L'.DCookie s, loc),
+                       (L'.DVal (x, n, t', e, s), loc)])
             end
           | L.DStyle (x, n, s) =>
             let
-- 
cgit v1.2.3