--- a/src/wimax/model/bs-uplink-scheduler-rtps.cc	Fri Aug 31 12:24:28 2012 +0200
+++ b/src/wimax/model/bs-uplink-scheduler-rtps.cc	Sat Sep 01 20:57:21 2012 +0200
@@ -572,7 +572,7 @@
       for (int i = 0; i < nbAllocation; i++)
         {
           NS_LOG_INFO ("\t\tprevious allocSizeSymbols_[" << i << "] = " << allocSizeSymbols_[i]);
-          allocSizeSymbols_[i] = (uint32_t) floor (allocSizeSymbols_[i] * delta);
+          allocSizeSymbols_[i] = (uint32_t) std::floor (allocSizeSymbols_[i] * delta);
           totAllocSizeSymbols += allocSizeSymbols_[i];
           NS_LOG_INFO ("\t\tnew allocSizeSymbols_[" << i << "] = " << allocSizeSymbols_[i]);
         }