From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 21 May 2019 23:26:20 +0000 (-0700)
Subject: Fix warning
X-Git-Tag: yosys-0.9~117^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1bff09f2ff137c5fe35199bd0f77ce7506c3bfb5;p=yosys.git

Fix warning
---

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");
     }