plug weakrulemap memory map if the solver gets re-run
authorMichael Schroeder <mls@suse.de>
Tue, 29 Oct 2013 15:05:24 +0000 (16:05 +0100)
committerMichael Schroeder <mls@suse.de>
Tue, 29 Oct 2013 15:05:24 +0000 (16:05 +0100)
commitd49d3195edc87e864aa94af16583cf4e48c3a11f
tree988fbb1d8ad5c207fac6340b1baa3cefa51b6171
parent4f478c096a0395984336ea01912b66b668fb08f0
plug weakrulemap memory map if the solver gets re-run
src/solver.c