From f0a1726a1ad4e14cdee81769565b80bea6cb48ed Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 26 Jun 2019 17:48:49 -0700
Subject: [PATCH] Accidentally removed "simplemap $mux"

---
 techlibs/xilinx/synth_xilinx.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 877694e8a..c3f434c51 100644
--- 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