From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 17 Oct 2017 14:31:09 +0000 (+0200)
Subject: Remove dead assignment (mimic console_add_link()).
X-Git-Tag: v3.18~420^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cb3bf3a6aefcc8ecb66bf66a14d8ea2efa749bc6?ds=inline

Remove dead assignment (mimic console_add_link()).
---

diff --git a/src/bindings/lua/lua_platf.cpp b/src/bindings/lua/lua_platf.cpp
index 90c72c6490..6f45328304 100644
--- a/src/bindings/lua/lua_platf.cpp
+++ b/src/bindings/lua/lua_platf.cpp
@@ -90,8 +90,9 @@ int console_add_backbone(lua_State *L) {
   lua_pop(L, 1);
 
   lua_pushstring(L, "sharing_policy");
-  type = lua_gettable(L, -2);
+  lua_gettable(L, -2);
   const char* policy = lua_tostring(L, -1);
+  lua_pop(L, 1);
   if (policy && not strcmp(policy, "FULLDUPLEX")) {
     link.policy = SURF_LINK_FULLDUPLEX;
   } else if (policy && not strcmp(policy, "FATPIPE")) {