Fix warning

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 2e4774dfdc32433feb3f2a63f3499953c2a91c02..566825ece9cb5ba5c7c1943a1b8dd97e41d45ef4 100644 (file)
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -55,9 +55,8 @@ void AigerReader::parse_aiger()
 
     // Optional values
     B = C = J = F = 0;
-    for (auto &i : std::array<std::reference_wrapper<unsigned>,4>{B, C, J, F}) {
-        if (f.peek() != ' ') break;
-        if (!(f >> i))
+    if (f.peek() == ' ') {
+        if (!(f >> B >> C >> J >> F))
             log_error("Invalid AIGER header\n");
     }