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/decision_engine.h | |
parent | 56bd7f581bdf1cf48db9f018a71dff22af123535 (diff) |
fixing build warnings
Diffstat (limited to 'src/decision/decision_engine.h')
-rw-r--r-- | src/decision/decision_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 */ |