Add comment

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index df14f8f7e4784569fa849ca32b6ce47cde17b56d..7255e248137ea9186fc1bf40d9c340a0442e5322 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -1263,10 +1263,11 @@ struct Abc9Pass : public Pass {
                        }
                }
 
-               Pass::call(design, "clean");
-
                assign_map.clear();
 
+               // The "clean" pass also contains a design->check() call
+               Pass::call(design, "clean");
+
                log_pop();
        }
 } Abc9Pass;