From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 22 May 2019 01:20:31 +0000 (-0700)
Subject: Rename label
X-Git-Tag: yosys-0.9~117^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=705775342774cff735ba13d2c3216680ae98b7a0;p=yosys.git

Rename label
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index e5ec475d1..38348cd65 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -55,16 +55,15 @@ void AigerReader::parse_aiger()
 
     // Optional values
     B = C = J = F = 0;
-    if (f.peek() != ' ') goto parse_body;
+    if (f.peek() != ' ') goto end_of_header;
     if (!(f >> B)) log_error("Invalid AIGER header\n");
-    if (f.peek() != ' ') goto parse_body;
+    if (f.peek() != ' ') goto end_of_header;
     if (!(f >> C)) log_error("Invalid AIGER header\n");
-    if (f.peek() != ' ') goto parse_body;
+    if (f.peek() != ' ') goto end_of_header;
     if (!(f >> J)) log_error("Invalid AIGER header\n");
-    if (f.peek() != ' ') goto parse_body;
+    if (f.peek() != ' ') goto end_of_header;
     if (!(f >> F)) log_error("Invalid AIGER header\n");
-
-parse_body:
+end_of_header:
 
     std::string line;
     std::getline(f, line); // Ignore up to start of next line, as standard