summaryrefslogtreecommitdiff
path: root/src/cjr_env.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/cjr_env.sml
parent1841386c2ad439363d735acc0550c495e040d217 (diff)
Catching duplicate cookie and style paths
Diffstat (limited to 'src/cjr_env.sml')
-rw-r--r--src/cjr_env.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cjr_env.sml b/src/cjr_env.sml
index cb5caee9..7f02a4e9 100644
--- a/src/cjr_env.sml
+++ b/src/cjr_env.sml
@@ -167,6 +167,7 @@ fun declBinds env (d, loc) =
| DDatabase _ => env
| DPreparedStatements _ => env
| DJavaScript _ => env
+ | DCookie _ => env
| DStyle _ => env
end