===================================================================
RCS file: /home/cvs/OpenXM/src/k097/sm1sm.c,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/k097/sm1sm.c	2013/11/07 07:29:47	1.3
+++ OpenXM/src/k097/sm1sm.c	2015/10/10 11:29:46	1.4
@@ -1,13 +1,12 @@
-/* $OpenXM: OpenXM/src/k097/sm1sm.c,v 1.2 2005/06/16 05:07:24 takayama Exp $ */
+/* $OpenXM: OpenXM/src/k097/sm1sm.c,v 1.3 2013/11/07 07:29:47 takayama Exp $ */
 /* This is imported from kxx/sm1stackmachine.c */
 #include <stdio.h>
 #include <setjmp.h>
 #include <string.h>
+#include <stdlib.h>
 #include "../kxx/ox_kan.h"
 #include "../kxx/serversm.h"
 extern int OXprintMessage;
-void *GC_malloc(size_t size);
-void *sGC_malloc(size_t size);
 
 /*  server stack machine */