From 4f10dbbdac50318282f9243bce39894c44ac195e Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 21 May 2019 23:46:31 +0200
Subject: [PATCH] Useless include.

---
 src/kernel/context/ContextSwapped.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel/context/ContextSwapped.hpp b/src/kernel/context/ContextSwapped.hpp
index 8380fa001e..a8973d159a 100644
--- a/src/kernel/context/ContextSwapped.hpp
+++ b/src/kernel/context/ContextSwapped.hpp
@@ -9,7 +9,6 @@
 #include "src/kernel/context/Context.hpp"
 
 #include <memory>
-#include <vector>
 
 namespace simgrid {
 namespace kernel {
-- 
2.20.1