1 files changed, 1 insertions, 2 deletions
diff --git a/lex.c b/lex.c
index d448f0af..8e744e2c 100644
--- a/lex.c
+++ b/lex.c
@@ -1,9 +1,8 @@
-char *rcs_lex = "$Id: lex.c,v 2.29 1996/02/26 22:35:51 roberto Exp roberto $";
+char *rcs_lex = "$Id: lex.c,v 2.30 1996/03/14 15:17:28 roberto Exp roberto $";
 
 #include <ctype.h>
 #include <string.h>
-#include <stdio.h>
 #include "mem.h"
 #include "tree.h"

diff --git a/lex.c b/lex.c index d448f0af..8e744e2c 100644 --- a/lex.c +++ b/lex.c
@@ -1,9 +1,8 @@
1	char *rcs_lex = "$Id: lex.c,v 2.29 1996/02/26 22:35:51 roberto Exp roberto $";	1	char *rcs_lex = "$Id: lex.c,v 2.30 1996/03/14 15:17:28 roberto Exp roberto $";
2		2
3		3
4	#include <ctype.h>	4	#include <ctype.h>
5	#include <string.h>	5	#include <string.h>
6	#include <stdio.h>
7		6
8	#include "mem.h"	7	#include "mem.h"
9	#include "tree.h"	8	#include "tree.h"