diff options
Diffstat (limited to 'src/decision')
| -rw-r--r-- | src/decision/decision_engine.cpp | 2 | ||||
| -rw-r--r-- | src/decision/decision_engine.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp index 1d4f2fd42..1afe835fb 100644 --- a/src/decision/decision_engine.cpp +++ b/src/decision/decision_engine.cpp @@ -70,7 +70,7 @@ void DecisionEngine::addAssertions(const vector<Node> &assertions) void DecisionEngine::addAssertions (const vector<Node> &assertions, - int assertionsEnd, + unsigned assertionsEnd, IteSkolemMap iteSkolemMap) { // new assertions, reset whatever result we knew diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h index ea516aa54..545ae1770 100644 --- a/src/decision/decision_engine.h +++ b/src/decision/decision_engine.h @@ -160,7 +160,7 @@ public: * removal. Hence, iteSkolemMap maps into only these. */ void addAssertions(const vector<Node> &assertions, - int assertionsEnd, + unsigned assertionsEnd, IteSkolemMap iteSkolemMap); /* add a single assertion */ |