diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-16 12:07:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 12:07:21 -0400 |
| commit | 9ac7c1a3cfcd247d5f6313b0e122049ec0b98fe5 (patch) | |
| tree | 68e966449a07c5dd9a2ce9a9c354e6b6b6b51106 /tests/badCookie.ur | |
| parent | 1841386c2ad439363d735acc0550c495e040d217 (diff) | |
Catching duplicate cookie and style paths
Diffstat (limited to 'tests/badCookie.ur')
| -rw-r--r-- | tests/badCookie.ur | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/badCookie.ur b/tests/badCookie.ur new file mode 100644 index 00000000..bd9c38ae --- /dev/null +++ b/tests/badCookie.ur @@ -0,0 +1,2 @@ +cookie x : int +cookie x : float |