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

fix(lua/numerics): errors when cross-compiling for Windows

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

4
src/bindings/lua/numerics.cpp
View file

@ -25,7 +25,7 @@ static mpz const & to_mpz(lua_State * L) {
arg = mpz(str);
return arg;
} else {
arg = luaL_checkinteger(L, 1);
arg = static_cast<long int>(luaL_checkinteger(L, 1));
return arg;
}
}
@ -137,7 +137,7 @@ static mpq const & to_mpq(lua_State * L) {
arg = mpq(str);
return arg;
} else {
arg = luaL_checkinteger(L, 1);
arg = static_cast<long int>(luaL_checkinteger(L, 1));
return arg;
}
}