From f83db16cabdd3e83986e5f3a74c822baa688649e Mon Sep 17 00:00:00 2001
From: Waldemar Celes <celes@tecgraf.puc-rio.br>
Date: Fri, 27 Jan 1995 15:19:06 -0200
Subject: [PATCH] new API function lua_pushlocked

---
 lua.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lua.h b/lua.h
index 0f1eb179..5529de9d 100644
--- a/lua.h
+++ b/lua.h
@@ -2,7 +2,7 @@
 ** LUA - Linguagem para Usuarios de Aplicacao
 ** Grupo de Tecnologia em Computacao Grafica
 ** TeCGraf - PUC-Rio
-** $Id: lua.h,v 3.14 1994/12/28 12:55:47 roberto Exp celes $
+** $Id: lua.h,v 3.15 1995/01/18 20:15:05 celes Exp celes $
 */
 
 
@@ -67,6 +67,7 @@ int            lua_type 		(lua_Object object);
 
 int	       lua_lock			(void);
 lua_Object     lua_getlocked		(int ref);
+void	       lua_pushlocked		(int ref);
 void	       lua_unlock		(int ref);
 
 lua_Object     lua_createtable		(void);