From 420ea97a7d9bb9a96106bd8d6daed987ad0ec7f5 Mon Sep 17 00:00:00 2001
From: Basile Burg <basile.b@gmx.com>
Date: Wed, 21 Sep 2016 19:08:05 +0200
Subject: [PATCH] flush each new demangled line

---
 ddemangle.d | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ddemangle.d b/ddemangle.d
index 00fb33651b..3473eb362e 100644
--- a/ddemangle.d
+++ b/ddemangle.d
@@ -109,7 +109,10 @@ void main(string[] args)
     {
         auto f = (args.length==2) ? File(args[1], "r") : stdin;
         foreach (line; f.byLine())
+        {
             writeln(ddemangle(line));
+            stdout.flush;
+        }
     }
     catch(Exception e)
     {