Add '-v' to &if for abc9.script.default.fast

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index fb0c547a359ecfc007443b88ed003ea0ccf65966..aed662fc5e2360414f5611af0c3b32528cb0c144 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -734,7 +734,7 @@ struct Abc9Pass : public Pass {
        {
                RTLIL::constpad["abc9.script.default"] = "+&scorr; &sweep; &dc2; &dch -f; &ps; &if {C} {W} {D} {R} -v; &mfs";
                RTLIL::constpad["abc9.script.default.area"] = "+&scorr; &sweep; &dc2; &dch -f; &ps; &if {C} {W} {D} {R} -a -v; &mfs";
-               RTLIL::constpad["abc9.script.default.fast"] = "+&if {C} {W} {D} {R}";
+               RTLIL::constpad["abc9.script.default.fast"] = "+&if {C} {W} {D} {R} -v";
                // Based on ABC's &flow
                RTLIL::constpad["abc9.script.flow"] = "+&scorr; &sweep;" \
                        /* Round 1 */ \