treat AND and COND more optimistic in pool_addrelproviders
authorMichael Schroeder <mls@suse.de>
Tue, 18 Feb 2014 12:07:57 +0000 (13:07 +0100)
committerMichael Schroeder <mls@suse.de>
Tue, 18 Feb 2014 12:07:57 +0000 (13:07 +0100)
commit7901a05c2b77aacb7113b250400c8d4bebd5a9b1
treea744c3e2dfbfe97eeeb5cb029d1dd89618ce2359
parent82149483e908492b349ac6a43b9414936f9a4295
treat AND and COND more optimistic in pool_addrelproviders

Also keep result sorted in the OR case.
src/pool.c