From 9ac7c1a3cfcd247d5f6313b0e122049ec0b98fe5 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/mono_env.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/mono_env.sml')

diff --git a/src/mono_env.sml b/src/mono_env.sml
index df255325..b3572fbe 100644
--- a/src/mono_env.sml
+++ b/src/mono_env.sml
@@ -111,6 +111,7 @@ fun declBinds env (d, loc) =
       | DSequence _ => env
       | DDatabase _ => env
       | DJavaScript _ => env
+      | DCookie _ => env
       | DStyle _ => env
 
 fun patBinds env (p, loc) =
-- 
cgit v1.2.3