From 5bd7fca2e9f85f145e02ed5a1e2a18ca81bf6e5a Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 26 Apr 2018 08:20:16 +0200
Subject: [PATCH] Missing include.

---
 src/bindings/lua/lua_platf.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bindings/lua/lua_platf.cpp b/src/bindings/lua/lua_platf.cpp
index 6ff1fd721d..9279bdbd46 100644
--- a/src/bindings/lua/lua_platf.cpp
+++ b/src/bindings/lua/lua_platf.cpp
@@ -17,6 +17,7 @@
 #include "src/surf/surf_private.hpp"
 #include <boost/algorithm/string/classification.hpp>
 #include <boost/algorithm/string/split.hpp>
+#include <simgrid/s4u/Engine.hpp>
 #include <simgrid/s4u/Host.hpp>
 #include <string>
 #include <vector>
-- 
2.20.1