[Lua] Patched lua_platf.c for Lua 5.3.1

[simgrid.git] / src / bindings / lua / lua_platf.c

diff --git a/src/bindings/lua/lua_platf.c b/src/bindings/lua/lua_platf.c
index 926f90c..98bbb29 100644 (file)
--- 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")) {