- fix some bugs in refine_suggestion()
authorMichael Schroeder <mls@suse.de>
Fri, 19 Oct 2007 14:05:14 +0000 (14:05 +0000)
committerMichael Schroeder <mls@suse.de>
Fri, 19 Oct 2007 14:05:14 +0000 (14:05 +0000)
commitb68d4cc98a09217255bc90d5f7c2b4fad45864a5
treebd0c9f4e66563f8a27cb9f08a082ec3a8c3e78cc
parent47df8932257bd9038afdcbcf11eca634a87e6d80
- fix some bugs in refine_suggestion()
src/solver.c