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>