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/opcode.c b/opcode.c
index 751afdcc..5ddfa339 100644
--- a/opcode.c
+++ b/opcode.c
@@ -3,13 +3,12 @@
 ** TecCGraf - PUC-Rio
 */
 
-char *rcs_opcode="$Id: opcode.c,v 3.48 1995/10/26 14:21:56 roberto Exp roberto $";
+char *rcs_opcode="$Id: opcode.c,v 3.49 1995/11/10 14:12:02 roberto Exp roberto $";
 
 #include <setjmp.h>
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
-#include <math.h>
 
 #include "luadebug.h"
 #include "mem.h"