Minor bug fixes

2011-12-18 16:35:25 -05:00
parent 23d8d54cdf
commit 0541b56fee
6 changed files with 502 additions and 11 deletions
--- 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()