From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Mon, 11 Feb 2019 21:24:21 +0000 (-0800)
Subject: No increment line_count for binary ANDs
X-Git-Tag: yosys-0.9~232^2~13^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=727ba52504c65be1fcda9b03f6c2e1498e10061d;p=yosys.git

No increment line_count for binary ANDs
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index ed91b6990..096e269b2 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -227,7 +227,7 @@ void AigerReader::parse_aiger_ascii()
         std::getline(f, line); // Ignore up to start of next line
 
     // Parse AND
-    for (unsigned i = 0; i < A; ++i, ++line_count) {
+    for (unsigned i = 0; i < A; ++i) {
         if (!(f >> l1 >> l2 >> l3))
             log_error("Line %u cannot be interpreted as an AND!\n", line_count);