Add comment on default flop init

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 33d4cfe8e107b524185727a6a42ebd688833c8f8..ce67cac54ca1e9474913c0a5929b695918799d33 100644 (file)
--- 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";