Fixing the infint parser (from "Changing the USEINFINT default value …

…to enable large integer computations") updated to stop on eof : missing first char
bonsai-team · May 6, 2022 · 516b2af · 516b2af
1 parent 96508b4
commit 516b2af
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/infint.hh b/src/infint.hh
@@ -1315,11 +1315,10 @@ template<typename T> inline std::istream& operator>>(std::istream &s, infint<T>
 {//PROFILED_SCOPE
   std::string str;
   char c = ' ';
-  if (s.get(c) && c == '-') {
-    str.push_back(c);
-  }
-  while (s.get(c) && (c >= '0') && (c <= '9')){
+  bool first = true;
+  while (s.get(c) && ((first && (c == '-')) || ((c >= '0') && (c <= '9')))) {
     str.push_back(c);
+    first = false;
   }
   s.unget();
   v.fromString(str);