[PPL-devel] [GIT] ppl/ppl(master): Avoid two warnings.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Fri May 15 16:22:21 2009 +0200

Avoid two warnings.

---

 src/checked.inlines.hh |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/checked.inlines.hh b/src/checked.inlines.hh
index 6627ba7..34d7ce6 100644
--- a/src/checked.inlines.hh
+++ b/src/checked.inlines.hh
@@ -452,7 +452,7 @@ inline typename Enable_If<(!Safe_Int_Comparison<S, U>::value
 			   && C_Integer<U>::value
 			   && C_Integer<S>::is_signed), bool>::type
 lt(const S& x, const U& y) {
-  return x < 0 || x < y;
+  return x < 0 || static_cast<typename C_Integer<S>::other_type>(x) < y;
 }
 
 template <typename U, typename S>
@@ -468,7 +468,7 @@ inline typename Enable_If<(!Safe_Int_Comparison<S, U>::value
 			   && C_Integer<U>::value
 			   && C_Integer<S>::is_signed), bool>::type
 le(const S& x, const U& y) {
-  return x < 0 || x <= y;
+  return x < 0 || static_cast<typename C_Integer<S>::other_type>(x) <= y;
 }
 
 template <typename U, typename S>