diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-09 16:24:15 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-07 18:33:12 -0400 |
commit | 461a416e254095f4bdb4b3f5f4f3258b52722e23 (patch) | |
tree | 261ca25ed7e4e15b6922e158d95aa6fb6f0c2b41 /src/decision/justification_heuristic.h | |
parent | b976f4da9bf79670226d7fa55e02d4c0e4c7e8ba (diff) |
whitespace fixes
Diffstat (limited to 'src/decision/justification_heuristic.h')
-rw-r--r-- | src/decision/justification_heuristic.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index a6bc68ce5..9177ba44d 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -127,10 +127,10 @@ private: prop::SatLiteral getNextThresh(bool &stopSearch, DecisionWeight threshold); SatLiteral findSplitter(TNode node, SatValue desiredVal); - - /** - * Do all the hard work. - */ + + /** + * Do all the hard work. + */ SearchResult findSplitterRec(TNode node, SatValue value); /* Helper functions */ |