===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/datatype.h,v
retrieving revision 1.13
retrieving revision 1.15
diff -u -p -r1.13 -r1.15
--- OpenXM/src/kan96xx/Kan/datatype.h	2010/01/27 15:10:08	1.13
+++ OpenXM/src/kan96xx/Kan/datatype.h	2018/09/07 00:15:44	1.15
@@ -1,5 +1,6 @@
-/* $OpenXM: OpenXM/src/kan96xx/Kan/datatype.h,v 1.12 2006/12/21 05:29:49 takayama Exp $ */
+/* $OpenXM: OpenXM/src/kan96xx/Kan/datatype.h,v 1.14 2015/09/29 01:52:14 takayama Exp $ */
 #include "gmp.h"
+#include "gc.h"
 
 /* GC */
 void *GC_malloc(size_t size);
@@ -16,6 +17,7 @@ int KSset(char *name);
 int KSpushBinary(int size,char *data);
 char *KSpopBinary(int *size);
 void KSstart();
+void KSstart_quiet();
 void KSstop();
 
 /*********** You may modify these system constants below **********************/