From 2e990ef7d36d46501241af4376837ec0ebef61fa Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 12 Sep 2013 14:02:40 -0700 Subject: [PATCH] Fix warnings Signed-off-by: Leonardo de Moura --- src/tests/util/pdeque.cpp | 2 +- src/tests/util/pvector.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tests/util/pdeque.cpp b/src/tests/util/pdeque.cpp index 99fafd45b..5bca60c28 100644 --- a/src/tests/util/pdeque.cpp +++ b/src/tests/util/pdeque.cpp @@ -78,7 +78,7 @@ static void driver(unsigned max_sz, unsigned max_val, unsigned num_ops, double u copies.push_back(q3); // read random positions of q3 if (!empty(q3)) { - for (unsigned j = 0; j < rand() % 5; j++) { + for (int j = 0; j < rand() % 5; j++) { unsigned idx = rand() % size(q3); lean_assert(q3[idx] == q1[idx]); } diff --git a/src/tests/util/pvector.cpp b/src/tests/util/pvector.cpp index 6ce5a8e6f..5735b877d 100644 --- a/src/tests/util/pvector.cpp +++ b/src/tests/util/pvector.cpp @@ -74,7 +74,7 @@ static void driver(unsigned max_sz, unsigned max_val, unsigned num_ops, double u f = static_cast(std::rand() % 10000) / 10000.0; // read random positions of v3 if (!empty(v3)) { - for (unsigned j = 0; j < rand() % 5; j++) { + for (int j = 0; j < rand() % 5; j++) { unsigned idx = rand() % size(v3); lean_assert(v3[idx] == v1[idx]); }