From 1bff09f2ff137c5fe35199bd0f77ce7506c3bfb5 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 21 May 2019 16:26:20 -0700
Subject: [PATCH] Fix warning

---
 frontends/aiger/aigerparse.cc | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 2e4774dfd..566825ece 100644
--- 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");
     }