diff options
Diffstat (limited to 'src/theory/decision_manager.h')
| -rw-r--r-- | src/theory/decision_manager.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/theory/decision_manager.h b/src/theory/decision_manager.h index 7ac27a531..fbc0e2cd6 100644 --- a/src/theory/decision_manager.h +++ b/src/theory/decision_manager.h @@ -105,11 +105,8 @@ class DecisionManager * returns null, then no decisions are required by a decision strategy * registered to this class. In the latter case, the SAT solver will choose * a decision based on its given heuristic. - * - * The argument priority has the same role as in - * Theory::getNextDecisionRequest. */ - Node getNextDecisionRequest(unsigned& priorty); + Node getNextDecisionRequest(); private: /** Map containing all strategies registered to this manager */ |