===================================================================
RCS file: /home/cvs/OpenXM/src/kxx/serversm.h,v
retrieving revision 1.7
retrieving revision 1.9
diff -u -p -r1.7 -r1.9
--- OpenXM/src/kxx/serversm.h	2015/10/08 11:49:38	1.7
+++ OpenXM/src/kxx/serversm.h	2015/10/10 11:29:46	1.9
@@ -1,4 +1,9 @@
 /* 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);
 int Sm1_setMathCap(ox_stream os);
 void Sm1_pops(void);