MIssed this merge conflict

diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index bd4e506acb3e0f1e6c780f0bedd9a033a1eed259..8a619574158f4c3fe70330fe5793c882a6560172 100644 (file)
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -304,10 +304,6 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *module, std::string scrip
        for (size_t pos = abc9_script.find("{R}"); pos != std::string::npos; pos = abc9_script.find("{R}", pos))
                abc9_script = abc9_script.substr(0, pos) + R + abc9_script.substr(pos+3);
 
-       if (nomfs)
-               for (size_t pos = abc9_script.find("&mfs"); pos != std::string::npos; pos = abc9_script.find("&mfs", pos))
-                       abc9_script = abc9_script.erase(pos, strlen("&mfs"));
-
        abc9_script += stringf("; &ps -l; &write -n %s/output.aig;", tempdir_name.c_str());
        if (design->scratchpad_get_bool("abc9.verify")) {
                if (dff_mode)