summaryrefslogtreecommitdiff
path: root/src/prepare.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 12:07:21 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 12:07:21 -0400
commit9ac7c1a3cfcd247d5f6313b0e122049ec0b98fe5 (patch)
tree68e966449a07c5dd9a2ce9a9c354e6b6b6b51106 /src/prepare.sml
parent1841386c2ad439363d735acc0550c495e040d217 (diff)
Catching duplicate cookie and style paths
Diffstat (limited to 'src/prepare.sml')
-rw-r--r--src/prepare.sml1
1 files changed, 1 insertions, 0 deletions
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) =