1
0
Fork 0

Correctly set watch2 on rule watch nodes for learned rules fixes #2181

pull/2172/merge
Nils Adermann 2013-08-16 16:44:24 +02:00
parent c6aa97ed8a
commit 8369624c49
1 changed files with 1 additions and 1 deletions

View File

@ -64,7 +64,7 @@ class RuleWatchNode
$level = $decisions->decisionLevel($literal); $level = $decisions->decisionLevel($literal);
if ($level > $watchLevel) { if ($level > $watchLevel) {
$this->rule->watch2 = $literal; $this->watch2 = $literal;
$watchLevel = $level; $watchLevel = $level;
} }
} }