From 6650048a4ca9070c01d0e5c977021848ffb3338d Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Tue, 5 Jul 2016 16:47:20 +0200
Subject: [PATCH] [SMPI] Fix includes for PAPI.

After a recent refactoring, some includes went missing.
---
 src/smpi/private.hpp     | 3 ++-
 src/smpi/smpi_global.cpp | 8 +++++---
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/src/smpi/private.hpp b/src/smpi/private.hpp
index 0181dac05a..a5c1aed3b9 100644
--- a/src/smpi/private.hpp
+++ b/src/smpi/private.hpp
@@ -6,8 +6,9 @@
 #ifndef SMPI_PRIVATE_HPP
 #define SMPI_PRIVATE_HPP
 
-#include <unordered_map>
 #include "src/instr/instr_smpi.h"
+#include <unordered_map>
+#include <vector>
 
 /**
  * Get the address of the beginning of the memory page where addr is located.
diff --git a/src/smpi/smpi_global.cpp b/src/smpi/smpi_global.cpp
index 1c84fbc540..fd2d8f05be 100644
--- a/src/smpi/smpi_global.cpp
+++ b/src/smpi/smpi_global.cpp
@@ -17,12 +17,14 @@
 #include "src/msg/msg_private.h"
 #include "src/simix/SynchroComm.hpp"
 
-
-#include <float.h>              /* DBL_MAX */
+#include <float.h> /* DBL_MAX */
+#include <fstream>
+#include <map>
 #include <stdint.h>
 #include <stdio.h>
 #include <stdlib.h>
-#include <fstream>
+#include <string>
+#include <vector>
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_kernel, smpi, "Logging specific to SMPI (kernel)");
 #include <boost/tokenizer.hpp>
-- 
2.20.1