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