From 5ff60d2057992bdc9f0ff04eee78d7bf6be0ee44 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 14 Feb 2020 13:43:34 -0800
Subject: [PATCH] write_xaiger: add comment about arrival times of flop outputs

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

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 2a39d225d..dc0f997fe 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -656,6 +656,7 @@ struct XAigerWriter
 					write_s_buffer(0);
 				}
 
+				// Use arrival time from output of flop box
 				write_i_buffer(arrival_times.at(d, 0));
 				//write_o_buffer(0);
 			}
-- 
2.30.2