write_xaiger: add comment about arrival times of flop outputs

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 2a39d225d36643d414d744c0a54907357d71e944..dc0f997fe86426b3728e581b9711b78b40100aa0 100644 (file)
--- 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);
                        }