===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/serversm.h,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -p -r1.8 -r1.9
--- OpenXM/src/kxx/serversm.h	2015/10/09 23:46:18	1.8
+++ OpenXM/src/kxx/serversm.h	2015/10/10 11:29:46	1.9
@@ -1,6 +1,7 @@
 /* server stack machine, serversm.h  */
 /* miss of these declarations caused segfault of ox_sm1 2015.10.09 */
 #include <string.h>
+#include <gc.h>
 void *sGC_malloc(int n);
 
 void *Sm1_mathcap(void);