Nils Adermann 1ee5d99405 When changing watched literals of a rule, update the parent's next pointer 13 years ago
..
Test 1ee5d99405 When changing watched literals of a rule, update the parent's next pointer 13 years ago