summaryrefslogtreecommitdiff
path: root/demo/tree.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-06 15:17:28 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-06 15:17:28 -0400
commitf32e016d97e4fa66ef3acc85373408ced389483e (patch)
tree204aa0977cd7949db9b5bf9dc5d16f4b0d1236d2 /demo/tree.urs
parent980a76796eceb07f1c722cc5dec1c24d933712ad (diff)
Replaced Select predicate with special-case handling for one-or-no-rows queries
Diffstat (limited to 'demo/tree.urs')
0 files changed, 0 insertions, 0 deletions