From 69c0e702c63b255b5959f7ce2754fa91aaf84a9b Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Sun, 29 Jun 2014 16:22:22 +0900
Subject: [PATCH] remove useless fflush

---
 src/error.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/error.c b/src/error.c
index f4b96675..773b5d2c 100644
--- a/src/error.c
+++ b/src/error.c
@@ -17,7 +17,6 @@ pic_abort(pic_state *pic, const char *msg)
   UNUSED(pic);
 
   fprintf(stderr, "abort: %s\n", msg);
-  fflush(stderr);
   abort();
 }