support: flush cout in ReadString

uClibc++ does not implicitly do this.

Signed-off-by: Rosen Penev <rosenp@gmail.com>

1 files changed, 1 insertions, 0 deletions

diff --git a/support.cc b/support.cc
index 1107993..891caad 100644
--- a/support.cc
+++ b/support.cc
@@ -55,6 +55,7 @@ string ReadString(void) {
 string ReadString(void) {
    string inString;
 
+   cout << flush;
    getline(cin, inString);
    if (!cin.good())
       exit(5);