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/prepare.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/prepare.sml')

diff --git a/src/prepare.sml b/src/prepare.sml
index 8e31b73d..e1777b11 100644
--- a/src/prepare.sml
+++ b/src/prepare.sml
@@ -259,6 +259,7 @@ fun prepDecl (d as (_, loc), sns) =
       | DDatabase _ => (d, sns)
       | DPreparedStatements _ => (d, sns)
       | DJavaScript _ => (d, sns)
+      | DCookie _ => (d, sns)
       | DStyle _ => (d, sns)
 
 fun prepare (ds, ps) =
-- 
cgit v1.2.3