- do away with complex reenablerule, instead reset propagate_index to 0
authorMichael Schroeder <mls@suse.de>
Fri, 19 Oct 2007 16:34:41 +0000 (16:34 +0000)
committerMichael Schroeder <mls@suse.de>
Fri, 19 Oct 2007 16:34:41 +0000 (16:34 +0000)
commit2bc1055dc5fe23ce0b9488d55faae312ff81004f
tree8d31f5149f210bfb4fcf3f914b40e1db9239c7c6
parentb68d4cc98a09217255bc90d5f7c2b4fad45864a5
- do away with complex reenablerule, instead reset propagate_index to 0
  and rely on propagate to move the watches
src/solver.c