Nils Adermann 1ee5d99405 When changing watched literals of a rule, update the parent's next pointer ... The previous rule was not previously updated to point to the next rule when removing a middle rule from the watch tree for a literal. This resulted in jumping from one literal's watch tree to another's, which could then jump back to the original and cause infinite loop in a case like #265. Fixes #265		2012-02-19 15:35:13 +01:00
..
Test	When changing watched literals of a rule, update the parent's next pointer	2012-02-19 15:35:13 +01:00