===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/time.c,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -p -r1.9 -r1.10
--- OpenXM_contrib2/asir2000/builtin/time.c	2015/08/08 14:19:41	1.9
+++ OpenXM_contrib2/asir2000/builtin/time.c	2015/08/09 11:46:43	1.10
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/builtin/time.c,v 1.8 2011/05/11 06:03:53 ohara Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/time.c,v 1.9 2015/08/08 14:19:41 fujimoto Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -151,7 +151,4 @@ double r;
 		fprintf(stderr,"%.4gsec + gc : %.4gsec(%.4gsec)\n",e,g,r);
 	else
 		fprintf(stderr,"%.4gsec(%.4gsec)\n",e,r);
-#if defined(__MINGW32__) || defined(__MINGW64__)
-	fflush(stderr);
-#endif
 }