From b18953a3a5f5bac3d55451abe6d46c28dab5196c Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Tue, 25 Nov 2008 11:58:34 +0000
Subject: [PATCH] Change int to std::size_t.

---
 Number_types/include/CGAL/MP_Float.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Number_types/include/CGAL/MP_Float.h b/Number_types/include/CGAL/MP_Float.h
index 633c1d4a545..6caf02a2539 100644
--- a/Number_types/include/CGAL/MP_Float.h
+++ b/Number_types/include/CGAL/MP_Float.h
@@ -562,10 +562,10 @@ compare_bitlength(const MP_Float &a, const MP_Float &b)
   if (aa.size() > bb.size()) return LARGER;
   if (aa.size() < bb.size()) return SMALLER;
 
-  for (int i = aa.size()-1; i >= 0; --i)
+  for (std::size_t i = aa.size(); i > 0; --i)
   {
-    if (aa.v[i] > bb.v[i]) return LARGER;
-    if (aa.v[i] < bb.v[i]) return SMALLER;
+    if (aa.v[i-1] > bb.v[i-1]) return LARGER;
+    if (aa.v[i-1] < bb.v[i-1]) return SMALLER;
   }
   return EQUAL;
 }