summaryrefslogtreecommitdiff
path: root/src/mono.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/mono.sml
parent7a0e04de1fd3d0e72deb4c78367a6894ef6e4396 (diff)
Catching duplicate cookie and style paths
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mono.sml b/src/mono.sml
index 4a4cb5da..d60c552c 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -127,6 +127,7 @@ datatype decl' =
| DJavaScript of string
+ | DCookie of string
| DStyle of string