1 files changed, 1 insertions, 2 deletions
diff --git a/lex.c b/lex.c
index 6c1f2ac5..96f6851f 100644
--- a/lex.c
+++ b/lex.c
@@ -1,8 +1,7 @@
-char *rcs_lex = "$Id: lex.c,v 2.19 1995/10/13 15:16:25 roberto Exp roberto $";
+char *rcs_lex = "$Id: lex.c,v 2.20 1995/10/25 13:05:51 roberto Exp roberto $";
 
 #include <ctype.h>
-#include <math.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>

diff --git a/lex.c b/lex.c index 6c1f2ac5..96f6851f 100644 --- a/lex.c +++ b/lex.c
@@ -1,8 +1,7 @@
1	char *rcs_lex = "$Id: lex.c,v 2.19 1995/10/13 15:16:25 roberto Exp roberto $";	1	char *rcs_lex = "$Id: lex.c,v 2.20 1995/10/25 13:05:51 roberto Exp roberto $";
2		2
3		3
4	#include <ctype.h>	4	#include <ctype.h>
5	#include <math.h>
6	#include <stdio.h>	5	#include <stdio.h>
7	#include <stdlib.h>	6	#include <stdlib.h>
8	#include <string.h>	7	#include <string.h>