michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(lua): luajit incompatibility

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-13 18:08:00 -08:00
parent cbc4254ff5
commit 6964e374c0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/bindings/lua/expr.cpp
View file

@ -339,7 +339,7 @@ static int expr_lower_free_vars(lua_State * L) {
// Copy Lua table/array elements to r // Copy Lua table/array elements to r
static void copy_lua_array(lua_State * L, int tidx, buffer<expr> & r) { static void copy_lua_array(lua_State * L, int tidx, buffer<expr> & r) {
luaL_checktype(L, tidx, LUA_TTABLE); luaL_checktype(L, tidx, LUA_TTABLE);
int n = luaL_len(L, tidx); int n = objlen(L, tidx);
for (int i = 1; i <= n; i++) { for (int i = 1; i <= n; i++) {
lua_rawgeti(L, tidx, i); lua_rawgeti(L, tidx, i);
r.push_back(to_expr(L, -1)); r.push_back(to_expr(L, -1));