diff options
Diffstat (limited to 'src/decision')
-rw-r--r-- | src/decision/justification_heuristic.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index acf2b3cfa..b3cac0d8c 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -161,9 +161,9 @@ public: } /* Compute justified */ - bool computeJustified() { + /*bool computeJustified() { - } + }*/ private: SatLiteral findSplitter(TNode node, SatValue desiredVal) { |