- fix probsolved logic
authorMichael Schroeder <mls@suse.de>
Wed, 5 Nov 2008 15:20:24 +0000 (15:20 +0000)
committerMichael Schroeder <mls@suse.de>
Wed, 5 Nov 2008 15:20:24 +0000 (15:20 +0000)
commita7c8ae4578db9d0b8cc17c48347e00bd11b5170f
treee052a120f87fdcab9722a8439e256168bc51e57b
parentf41acbdf08531db1bad1064091efaf199f00a453
- fix probsolved logic
src/solver.c