===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/d-itv.c,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -p -r1.5 -r1.6
--- OpenXM_contrib2/asir2000/engine/d-itv.c	2015/08/08 14:19:41	1.5
+++ OpenXM_contrib2/asir2000/engine/d-itv.c	2015/08/14 13:51:54	1.6
@@ -1,5 +1,5 @@
 /*
- * $OpenXM: OpenXM_contrib2/asir2000/engine/d-itv.c,v 1.4 2009/03/27 14:42:29 ohara Exp $
+ * $OpenXM: OpenXM_contrib2/asir2000/engine/d-itv.c,v 1.5 2015/08/08 14:19:41 fujimoto Exp $
 */
 #if defined(INTERVAL)
 #include <float.h>
@@ -28,9 +28,6 @@ void printbinint(int d)
 		}
 	}
 	fprintf(stderr,"\n");
-#if defined(__MINGW32__) || defined(__MINGW64__)
-	fflush(stderr);
-#endif
 }
 #endif
 
@@ -51,9 +48,6 @@ double NatToRealUp(N a, int *expo)
 
 #if defined(ITVDEBUG)
 	fprintf(stderr," %d : tail = %d\n", j, tail);
-#if defined(__MINGW32__) || defined(__MINGW64__)
-	fflush(stderr);
-#endif
 	printbinint(p[j]);
 #endif
 		kk = (1<< (BSH - tail)) - 1;