- be more correct in makeruledecisions()
authorMichael Schroeder <mls@suse.de>
Fri, 9 Mar 2012 12:40:48 +0000 (13:40 +0100)
committerMichael Schroeder <mls@suse.de>
Fri, 9 Mar 2012 12:50:29 +0000 (13:50 +0100)
commitcfd1b9a657185ae9f371cbf191c7d16d15ac7537
treeb0a287ed3a8567376b9ffdef951e5b2223688fef
parent53d0f9ccc31a5ab6f87e8c23c398d23dc6950e6d
- be more correct in makeruledecisions()
src/solver.c