From 40db2f2eb61287071f59f3e15bd1cd1bf2838d1d Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Wed, 6 Feb 2019 14:58:47 -0800
Subject: [PATCH] Refactor

---
 frontends/aiger/aigerparse.cc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index c7a9aecb9..7f9feee4a 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -30,15 +30,22 @@ YOSYS_NAMESPACE_BEGIN
 
 #define log_debug log
 
+static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name);
+
 void parse_aiger(RTLIL::Design *design, std::istream &f, std::string clk_name)
 {
     std::string header;
     f >> header;
-    if (header != "aag") {
+    if (header == "aag")
+        return parse_aiger_ascii(design, f, clk_name);
+    else {
         log_error("Unsupported AIGER file!\n");
         return;
     }
+}
 
+static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::string clk_name)
+{
     int M, I, L, O, A;
     int B=0, C=0, J=0, F=0; // Optional in AIGER 1.9
     if (!(f >> M >> I >> L >> O >> A)) {
-- 
2.30.2