===================================================================
RCS file: /home/cvs/OpenXM/src/k097/sm1sm.c,v
retrieving revision 1.3
retrieving revision 1.5
diff -u -p -r1.3 -r1.5
--- OpenXM/src/k097/sm1sm.c	2013/11/07 07:29:47	1.3
+++ OpenXM/src/k097/sm1sm.c	2020/10/07 23:53:25	1.5
@@ -1,13 +1,14 @@
-/* $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.4 2015/10/10 11:29:46 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"
+#include "ox_k0.h"
+
 extern int OXprintMessage;
-void *GC_malloc(size_t size);
-void *sGC_malloc(size_t size);
 
 /*  server stack machine */