diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-05-09 21:09:31 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-05-09 21:09:31 +0000 |
| commit | 690fb2843d9845e405fee54eb2d8023eebbd5b72 (patch) | |
| tree | 0e7dff9e2203c5474d72e45b8441b43e7abaef2f /src/decision/justification_heuristic.h | |
| parent | 6243fba11e0189891acf21de3c6daa072b038e13 (diff) | |
rm something for a future merge that sneaked in
(gets rid of warning)
Diffstat (limited to 'src/decision/justification_heuristic.h')
| -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) { |