From 949880b71b6b3d105ff5d73b1cf6958509b85c1e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 12:07:21 -0400 Subject: Catching duplicate cookie and style paths --- src/cjr.sml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/cjr.sml') diff --git a/src/cjr.sml b/src/cjr.sml index 23dfb900..3844ccad 100644 --- a/src/cjr.sml +++ b/src/cjr.sml @@ -110,6 +110,7 @@ datatype decl' = | DPreparedStatements of (string * int) list | DJavaScript of string + | DCookie of string | DStyle of string withtype decl = decl' located -- cgit v1.2.3