lua: Use lua_rawgeti to read elements from lists of strings.

This is faster, but more importantly it avoids the strange error
'lua: attempt to index a string value' which appears with (some)
single element lists.

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);
   }