fix bugs in solver_describe_decision and solver_describe_weakdep_decision
authorMichael Schroeder <mls@suse.de>
Tue, 3 Jun 2014 14:31:15 +0000 (16:31 +0200)
committerMichael Schroeder <mls@suse.de>
Tue, 3 Jun 2014 14:31:15 +0000 (16:31 +0200)
commit8d2aac14326394db57e9f27ccecac64691d3ff8b
treed68ff0d4964f06e9fb3a0e9a1ca4be12aaca7342
parent6d968f185b7819babc9b962aa8a6e5ce0cf75615
fix bugs in solver_describe_decision and solver_describe_weakdep_decision
src/solver.c