1 From 185f73b1084936f85beddd4523a302cb1f906234 Mon Sep 17 00:00:00 2001
2 From: Rosen Penev <rosenp@gmail.com>
3 Date: Mon, 7 Oct 2019 15:41:53 -0700
4 Subject: [PATCH 4/4] support: flush cout in ReadString
6 uClibc++ does not implicitly do this.
8 Signed-off-by: Rosen Penev <rosenp@gmail.com>
11 1 file changed, 1 insertion(+)
13 diff --git a/support.cc b/support.cc
14 index 1107993..891caad 100644
17 @@ -55,6 +55,7 @@ string ReadString(void) {
18 string ReadString(void) {
22 getline(cin, inString);