Merge branch 'master' into clean_events

[simgrid.git] / src / smpi / private.hpp

diff --git a/src/smpi/private.hpp b/src/smpi/private.hpp
index a5c1aed..87d51f8 100644 (file)
--- a/src/smpi/private.hpp
+++ b/src/smpi/private.hpp
@@ -9,6 +9,7 @@
 #include "src/instr/instr_smpi.h"
 #include <unordered_map>
 #include <vector>
+#include "src/internal_config.h"
 
 /**
  * Get the address of the beginning of the memory page where addr is located.
@@ -19,7 +20,7 @@
 #define TOPAGE(addr) (void *)(((unsigned long)(addr) / xbt_pagesize) * xbt_pagesize)
 
 #if HAVE_PAPI
-typedef 
+typedef
     std::vector<std::pair</* counter name */std::string, /* counter value */long long>> papi_counter_t;
 XBT_PRIVATE papi_counter_t& smpi_process_papi_counters();
 XBT_PRIVATE int smpi_process_papi_event_set();