1 files changed, 1 insertions, 2 deletions
diff --git a/lua.stx b/lua.stx
index 7d83e62b..8270b7a4 100644
--- a/lua.stx
+++ b/lua.stx
@@ -1,10 +1,9 @@
 %{
-char *rcs_luastx = "$Id: lua.stx,v 3.30 1996/02/12 18:32:40 roberto Exp roberto $";
+char *rcs_luastx = "$Id: lua.stx,v 3.31 1996/02/13 17:30:39 roberto Exp roberto $";
 #include <stdio.h>
 #include <stdlib.h>
-#include <string.h>
 #include "luadebug.h"
 #include "mem.h"

diff --git a/lua.stx b/lua.stx index 7d83e62b..8270b7a4 100644 --- a/lua.stx +++ b/lua.stx
@@ -1,10 +1,9 @@
1	%{	1	%{
2		2
3	char *rcs_luastx = "$Id: lua.stx,v 3.30 1996/02/12 18:32:40 roberto Exp roberto $";	3	char *rcs_luastx = "$Id: lua.stx,v 3.31 1996/02/13 17:30:39 roberto Exp roberto $";
4		4
5	#include <stdio.h>	5	#include <stdio.h>
6	#include <stdlib.h>	6	#include <stdlib.h>
7	#include <string.h>
8		7
9	#include "luadebug.h"	8	#include "luadebug.h"
10	#include "mem.h"	9	#include "mem.h"