From d4e2f09dd8b4eff51c0552afe2f105aa6559d1f6 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 1 Jun 2019 12:45:17 +0200
Subject: [PATCH 1/1] fix lua builds

---
 src/bindings/lua/lua_platf.cpp | 12 +++++++-----
 src/mc/remote/Channel.hpp      |  2 +-
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/src/bindings/lua/lua_platf.cpp b/src/bindings/lua/lua_platf.cpp
index 905776d163..a806124ce2 100644
--- a/src/bindings/lua/lua_platf.cpp
+++ b/src/bindings/lua/lua_platf.cpp
@@ -7,21 +7,23 @@
 
 #include "lua_private.hpp"
 #include "simgrid/kernel/routing/NetPoint.hpp"
+#include "src/kernel/resource/profile/Profile.hpp"
 #include "src/surf/network_interface.hpp"
+#include "src/surf/surf_private.hpp"
 #include "src/surf/xml/platf_private.hpp"
-#include <cctype>
-#include <cstring>
 
-#include <lauxlib.h>
-
-#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 <cctype>
+#include <cstring>
 #include <string>
 #include <vector>
 
+#include <lauxlib.h>
+
 XBT_LOG_NEW_DEFAULT_CATEGORY(lua_platf, "Lua bindings (platform module)");
 
 constexpr char PLATF_MODULE_NAME[] = "simgrid.engine";
diff --git a/src/mc/remote/Channel.hpp b/src/mc/remote/Channel.hpp
index 64d5003089..a3e234410c 100644
--- a/src/mc/remote/Channel.hpp
+++ b/src/mc/remote/Channel.hpp
@@ -13,7 +13,7 @@
 namespace simgrid {
 namespace mc {
 
-/** A channel for exchanging messages between model-checker and model-checked
+/** A channel for exchanging messages between model-checker and model-checked app
  *
  *  This abstracts away the way the messages are transferred. Currently, they
  *  are sent over a (connected) `SOCK_SEQPACKET` socket.
-- 
2.20.1