1 files changed, 1 insertions, 3 deletions

diff --git a/lua.stx b/lua.stx
index 44c57a80..75971a45 100644
--- a/lua.stx
+++ b/lua.stx
@@ -1,13 +1,11 @@
 %{
 
-char *rcs_luastx = "$Id: lua.stx,v 2.9 1994/10/11 14:38:17 celes Exp celes $";
+char *rcs_luastx = "$Id: lua.stx,v 2.10 1994/10/17 19:05:32 celes Exp roberto $";
 
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
-#include "mm.h"
-
 #include "opcode.h"
 #include "hash.h"
 #include "inout.h"