comparison src/cjr_env.sml @ 725:4c5796512edc

Catching duplicate cookie and style paths
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:07:21 -0400
parents f152f215a02c
children 8688e01ae469
comparison
equal deleted inserted replaced
724:12ec14a6be0b 725:4c5796512edc
165 | DTable _ => env 165 | DTable _ => env
166 | DSequence _ => env 166 | DSequence _ => env
167 | DDatabase _ => env 167 | DDatabase _ => env
168 | DPreparedStatements _ => env 168 | DPreparedStatements _ => env
169 | DJavaScript _ => env 169 | DJavaScript _ => env
170 | DCookie _ => env
170 | DStyle _ => env 171 | DStyle _ => env
171 172
172 end 173 end