diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-28 17:28:29 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-28 17:28:29 -0700 |
commit | 70b7384838d1e9c99bdbd26d40feab3463eb0ebd (patch) | |
tree | 2f86a6aeb40a26d14247cb0ca6026a5e4ff7ad37 /src/decision/justification_heuristic.h | |
parent | 9e1e48ad560408667f6972979c6123ebc7b615d2 (diff) |
Remove static access to options in decision folder (#7527)
This PR replaces static accesses to options (options::foo()) by using the options object provided via the environment.
Diffstat (limited to 'src/decision/justification_heuristic.h')
-rw-r--r-- | src/decision/justification_heuristic.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index 303f1a63b..fbba2e33a 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -150,7 +150,7 @@ private: int getPrvsIndex(); DecisionWeight getWeightPolarized(TNode n, bool polarity); DecisionWeight getWeightPolarized(TNode n, prop::SatValue); - static DecisionWeight getWeight(TNode); + DecisionWeight getWeight(TNode); bool compareByWeightFalse(TNode, TNode); bool compareByWeightTrue(TNode, TNode); TNode getChildByWeight(TNode n, int i, bool polarity); |