diff options
-rw-r--r-- | generator/lua.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generator/lua.ml b/generator/lua.ml index 7e5779f6..67f18243 100644 --- a/generator/lua.ml +++ b/generator/lua.ml @@ -600,8 +600,7 @@ get_string_list (lua_State *L, int index) } for (i = 0; i < len; ++i) { - lua_pushinteger (L, i+1 /* because of base 1 arrays */); - lua_gettable (L, index); + lua_rawgeti (L, index, i+1 /* because of base 1 arrays */); strs[i] = (char *) luaL_checkstring (L, -1); lua_pop (L, 1); } |