diff options
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 */ |