diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-13 19:53:07 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-13 19:53:07 -0400 |
| commit | 291fe704e9a5be0a71cd03418ec5229c99910898 (patch) | |
| tree | e1698a7232fbee02d36d8a826948544a35420c1f /tests/crud1.ur | |
| parent | 92865c5cf94bde77b7250450042e915a48e0025d (diff) | |
Name disjointness check changed to case insensitive
Diffstat (limited to 'tests/crud1.ur')
0 files changed, 0 insertions, 0 deletions