diff options
author | Adam Chlipala <adam@chlipala.net> | 2010-10-19 10:13:24 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2010-10-19 10:13:24 -0400 |
commit | 0d52aedbd9ecc04c0540ad7d7d7ff2b5051dcaa5 (patch) | |
tree | 1cded183f95d276e9d76bdcf8eb0af157eaa1763 /tests/agg.urp | |
parent | 25838bc2eb221b82151c648473b3528e3a4e4e9d (diff) |
Smarter handling of unification variables for 'kindof' on projections
Diffstat (limited to 'tests/agg.urp')
0 files changed, 0 insertions, 0 deletions