1 files changed, 2 insertions, 0 deletions
diff --git a/support.cc b/support.cc
index db5adb2..0a311a6 100644
--- a/support.cc
+++ b/support.cc
@@ -38,6 +38,8 @@ string ReadString(void) {
    string inString;
 
    getline(cin, inString);
+   if (!cin)
+      cin.clear();
    return inString;
 } // ReadString()