Module: ppl/ppl Branch: master Commit: cd4283d7be860b9a4222c3d1a589680bf5847d37 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd4283d7be860...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 17:55:58 2012 +0100

Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag.

---

src/Generator.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Generator.cc b/src/Generator.cc index 493bc48..8988b1d 100644 --- a/src/Generator.cc +++ b/src/Generator.cc @@ -320,7 +320,7 @@ PPL::Generator::OK() const { return false;

// Topology consistency check. - const dimension_type min_size = is_necessarily_closed() ? 1 : 2; + const dimension_type min_size = is_necessarily_closed() ? 1U : 2U; if (size() < min_size) { #ifndef NDEBUG std::cerr << "Generator has fewer coefficients than the minimum "