update

[l4.git] / l4 / pkg / lua / lib / contrib / src / lapi.h

diff --git a/l4/pkg/lua/lib/contrib/src/lapi.h b/l4/pkg/lua/lib/contrib/src/lapi.h
index 2c3fab244ef9e7c4940dbd241885ac48bca4e005..848e1f216973dbf9242966d1fbeaa307831e40c9 100644 (file)
--- a/l4/pkg/lua/lib/contrib/src/lapi.h
+++ b/l4/pkg/lua/lib/contrib/src/lapi.h
@@ -13,4 +13,8 @@
 
 LUAI_FUNC void luaA_pushobject (lua_State *L, const TValue *o);
 
+#ifdef LUA_TINT
+  int lua_pushvalue_as_number (lua_State *L, int idx);
+#endif
+
 #endif