From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 1 Jun 2019 10:45:17 +0000 (+0200)
Subject: fix lua builds
X-Git-Tag: v3.22.4~28
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d4e2f09dd8b4eff51c0552afe2f105aa6559d1f6?hp=d574355c7629f9f18b0667c69bfb0f1695b7b3b6

fix lua builds
---

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.