fix decisioncnt handling
authorMichael Schroeder <mls@suse.de>
Wed, 21 Aug 2013 15:26:49 +0000 (17:26 +0200)
committerMichael Schroeder <mls@suse.de>
Wed, 21 Aug 2013 15:26:49 +0000 (17:26 +0200)
commit538a7f16fd8dc8e98a534d22fb46dbd80e6fd30a
tree8c068818d5e5d0b48f45a43008ada8aa70dc0b54
parent924ee0536d6ce677a55e75e5b355257658971e46
fix decisioncnt handling
src/problems.c
src/solver.c