summaryrefslogtreecommitdiff
path: root/tests/agg.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 10:13:24 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-19 10:13:24 -0400
commit0d52aedbd9ecc04c0540ad7d7d7ff2b5051dcaa5 (patch)
tree1cded183f95d276e9d76bdcf8eb0af157eaa1763 /tests/agg.urp
parent25838bc2eb221b82151c648473b3528e3a4e4e9d (diff)
Smarter handling of unification variables for 'kindof' on projections
Diffstat (limited to 'tests/agg.urp')
0 files changed, 0 insertions, 0 deletions