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
commit949880b71b6b3d105ff5d73b1cf6958509b85c1e (patch)
tree68e966449a07c5dd9a2ce9a9c354e6b6b6b51106 /src/cjr_env.sml
parent7a0e04de1fd3d0e72deb4c78367a6894ef6e4396 (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