diff -r dd8e95c663f0 -r b8fbffd35445 lemon/time_measure.h
--- a/lemon/time_measure.h	Tue Oct 17 11:01:19 2006 +0000
+++ b/lemon/time_measure.h	Tue Oct 17 11:01:35 2006 +0000
@@ -523,7 +523,7 @@
     TimeStamp full;
     unsigned int total=0;
     Timer t;
-    for(unsigned int tn=1;tn <= 1<<31 && full.realTime()<=min_time; tn*=2) {
+    for(unsigned int tn=1;tn <= 1U<<31 && full.realTime()<=min_time; tn*=2) {
       for(;total<tn;total++) f();
       full=t;
     }