From e1554b56dd9c82b609c6565067160268cbc403f3 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 7 Oct 2019 11:56:17 -0700
Subject: [PATCH] Add comment on default flop init

---
 backends/aiger/xaiger.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 33d4cfe8e..ce67cac54 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -842,6 +842,7 @@ struct XAigerWriter
 						continue;
 					}
 				}
+				// Default flop init is zero
 				write_s_buffer(0);
 			}
 			f << "s";
-- 
2.30.2