oops, fix selection2str()
authorMichael Schroeder <mls@suse.de>
Mon, 29 Oct 2012 12:50:00 +0000 (13:50 +0100)
committerMichael Schroeder <mls@suse.de>
Mon, 29 Oct 2012 12:50:00 +0000 (13:50 +0100)
commit9c49aa9acc5f14dbdadec2353ad1b0db29da1107
tree787e49447141f6055d121f14e324ed28f130c40f
parent0b267a5c349d053dd278d14f88dd7441e618ae00
oops, fix selection2str()
src/solverdebug.c