Move comment

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index caf292d599e240415f943d498128b0cf541d8bfe..0e8ea65bff0eafb3ba5f070889f96e6e5175c61d 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -86,14 +86,15 @@ struct XAigerWriter
 
        int bit2aig(SigBit bit)
        {
-               // NB: Cannot use iterator returned from aig_map.insert()
-               //     since this function is called recursively
                auto it = aig_map.find(bit);
                if (it != aig_map.end()) {
                        log_assert(it->second >= 0);
                        return it->second;
                }
 
+               // NB: Cannot use iterator returned from aig_map.insert()
+               //     since this function is called recursively
+
                int a = -1;
                if (not_map.count(bit)) {
                        a = bit2aig(not_map.at(bit)) ^ 1;