From 36c56bf4127edc1ed0f8fbbd62bd70a859263570 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Fri, 8 Feb 2019 08:37:44 -0800
Subject: [PATCH] Add comment

---
 frontends/aiger/aigerparse.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index c3cc6b321..56e4f3b2c 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -135,6 +135,7 @@ static void parse_aiger_ascii(RTLIL::Design *design, std::istream &f, std::strin
 
         module->addDff(NEW_ID, clk_wire, d_wire, q_wire);
 
+        // Reset logic is optional in AIGER 1.9
         if (f.peek() == ' ') {
             if (!(f >> l3))
                 log_error("Line %d cannot be interpreted as a latch!\n", line_count);
-- 
2.30.2