update

[l4.git] / l4 / pkg / mag / server / src / user_state.cc

diff --git a/l4/pkg/mag/server/src/user_state.cc b/l4/pkg/mag/server/src/user_state.cc
index ed5d3af5fd054b8f697f1a5a29fed546a51ba285..c3d015fdb6b2d919a29cd3935763605150571b15 100644 (file)
--- a/l4/pkg/mag/server/src/user_state.cc
+++ b/l4/pkg/mag/server/src/user_state.cc
@@ -283,6 +283,7 @@ luaL_Reg const Lua_view_proxy::_ops[] =
 
 }
 
+#if 0
 static void dump_stack(lua_State *l)
 {
   int i = lua_gettop(l);
@@ -308,6 +309,7 @@ static void dump_stack(lua_State *l)
       --i;
     }
 }
+#endif
 
 template<>
 struct Lua_register_ops<Lua_user_state>