===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/itvnum.c,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- OpenXM_contrib2/asir2000/builtin/itvnum.c	2014/05/12 16:54:40	1.7
+++ OpenXM_contrib2/asir2000/builtin/itvnum.c	2015/08/08 14:19:41	1.8
@@ -1,5 +1,5 @@
 /*
- * $OpenXM: OpenXM_contrib2/asir2000/builtin/itvnum.c,v 1.6 2011/08/10 04:51:57 saito Exp $
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/itvnum.c,v 1.7 2014/05/12 16:54:40 saito Exp $
  */
 
 #include "ca.h"
@@ -629,6 +629,9 @@ static void	pprintmode( void )
 			fprintf(stderr,"Printf's double printing mode is \"%%g\".\n");
 			break;
 	}
+#if defined(__MINGW32__) || defined(__MINGW64__)
+	fflush(stderr);
+#endif
 }
 
 static void