From dbdb9a41af3cb599eae559a43e46ccab085abf03 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 10 Nov 2013 11:13:18 -0800 Subject: [PATCH] style(lua): use C++-style cast Signed-off-by: Leonardo de Moura --- src/bindings/lua/environment.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/bindings/lua/environment.cpp b/src/bindings/lua/environment.cpp index c37cc6d05..7affb44fa 100644 --- a/src/bindings/lua/environment.cpp +++ b/src/bindings/lua/environment.cpp @@ -129,19 +129,19 @@ static char g_set_environment_key; set_environment::set_environment(lua_State * L, environment & env) { m_state = L; - lua_pushlightuserdata(m_state, (void *)&g_set_environment_key); + lua_pushlightuserdata(m_state, static_cast(&g_set_environment_key)); push_environment(m_state, env); lua_settable(m_state, LUA_REGISTRYINDEX); } set_environment::~set_environment() { - lua_pushlightuserdata(m_state, (void *)&g_set_environment_key); + lua_pushlightuserdata(m_state, static_cast(&g_set_environment_key)); lua_pushnil(m_state); lua_settable(m_state, LUA_REGISTRYINDEX); } int get_environment(lua_State * L) { - lua_pushlightuserdata(L, (void *)&g_set_environment_key); + lua_pushlightuserdata(L, static_cast(&g_set_environment_key)); lua_gettable(L, LUA_REGISTRYINDEX); if (!is_environment(L, -1)) luaL_error(L, "Lua registry does not contain a Lean environment");