From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Fri, 24 Jul 2015 09:16:14 +0000 (+0200)
Subject: [Lua] Patched lua_platf.c for Lua 5.3.1
X-Git-Tag: v3_13~1644^2~12
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/75644e3a19490173dea3cb8ac8720f6e1840a51b?hp=88f8689f8b07eaa4c65d4c2cb3a33325c73d50bf

[Lua] Patched lua_platf.c for Lua 5.3.1
---

diff --git a/src/bindings/lua/lua_platf.c b/src/bindings/lua/lua_platf.c
index 926f90cb1d..98bbb2977e 100644
--- a/src/bindings/lua/lua_platf.c
+++ b/src/bindings/lua/lua_platf.c
@@ -117,7 +117,7 @@ int console_add_backbone(lua_State *L) {
 
   lua_pushstring(L, "sharing_policy");
   type = lua_gettable(L, -2);
-  char* policy = lua_tostring(L, -1);
+  const char* policy = lua_tostring(L, -1);
   if (policy && !strcmp(policy,"FULLDUPLEX")) {
     link.policy = SURF_LINK_FULLDUPLEX;
   } else if (policy && !strcmp(policy,"FATPIPE")) {