Accidentally removed "simplemap $mux"

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 877694e8a930f2153055574459e56723bea8d9e8..c3f434c511ad1c333ffd9703c49aa4e5968c08fb 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -281,6 +281,7 @@ struct SynthXilinxPass : public ScriptPass
                                run("muxcover <internal options>, ('-widemux' only)");
                        }
                        else if (widemux > 0) {
+                               run("simplemap t:$mux");
                                std::string muxcover_args = " -dmux=0";
                                switch (widemux) {
                                        // NB: Cost of mux2 is 100; mux8 should cost between 3 and 4