diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-13 15:51:27 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-13 15:51:27 +0000 |
commit | 39c17191ad88a50bfffdbbc5ed8b493ad99b3fb5 (patch) | |
tree | 379084e939f37be0bff49a904fc853eafc8be356 /src/decision | |
parent | 56bd7f581bdf1cf48db9f018a71dff22af123535 (diff) |
fixing build warnings
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 */ |