diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-05 16:24:02 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-05 16:24:02 -0500 |
| commit | 2704a810d79b0c47b634fd06032da6490b82db71 (patch) | |
| tree | 40035782b3b1482250d6c65313b394cae769ffe7 /src/decision | |
| parent | f910148c846556877508c684981f0aa9a88671c5 (diff) | |
| parent | b96d64bf23a53bd630bd822ff534517157ee08fd (diff) | |
Merge remote-tracking branch 'origin/1.0.x'
Diffstat (limited to 'src/decision')
| -rw-r--r-- | src/decision/justification_heuristic.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index ea67fee29..272dffc88 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -137,8 +137,10 @@ public: return prop::undefSatLiteral; } - if(litDecision != undefSatLiteral) + if(litDecision != undefSatLiteral) { + d_prvsIndex = i; return litDecision; + } } Trace("decision") << "jh: Nothing to split on " << std::endl; |