Move comment

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 48e9026665e897f6900943b925ce24534fee906f..aa10aa55e6c685edf693f73d2d0cc7ad6e76d518 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;