help mc initialize smpi options.

[simgrid.git] / src / mc / mc_mmu.hpp

diff --git a/src/mc/mc_mmu.hpp b/src/mc/mc_mmu.hpp
index cd920ce34bc6849e63099db75cd29cd6679fb18e..21975e67fb015040f90d45e98d35bafce70806a7 100644 (file)
--- a/src/mc/mc_mmu.hpp
+++ b/src/mc/mc_mmu.hpp
@@ -35,7 +35,7 @@ static int chunk_size()
  */
 static XBT_ALWAYS_INLINE std::size_t chunk_count(std::size_t size)
 {
-  size_t page_count = size >> xbt_pagebits;
+  std::size_t page_count = size >> xbt_pagebits;
   if (size & (xbt_pagesize - 1))
     page_count++;
   return page_count;