summaryrefslogtreecommitdiff
path: root/tests/crud.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-11 19:59:31 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-11 19:59:31 -0400
commita12b7d5677662153dd69c14945c0d88f447425a3 (patch)
tree6a16a83ce73b7c035f67e6d51c982e3bf79115ad /tests/crud.urs
parenta1c9eb584060bb6fac219f53540324777a7fa5b4 (diff)
Fixed a mind-numbing De Bruijn bug
Diffstat (limited to 'tests/crud.urs')
0 files changed, 0 insertions, 0 deletions