Remove $_MUX4_ techmap rule

diff --git a/techlibs/xilinx/mux_map.v b/techlibs/xilinx/mux_map.v
index c47da155df3f48d2cf82ccdff6dc01d3a78425bc..e280703599ad0688f9bb594332cc80994296e9bd 100644 (file)
--- a/techlibs/xilinx/mux_map.v
+++ b/techlibs/xilinx/mux_map.v
@@ -69,14 +69,3 @@ module \$shiftx (A, B, Y);
     end
   endgenerate
 endmodule
-
-// FIXME: This rule exists only because we can't block muxcover
-//        from using MUX4s -- if we disable MUX4 it will use MUX8s
-//        instead
-
-module \$_MUX4_ (A, B, C, D, S, T, Y);
-input A, B, C, D, S, T;
-output Y;
-assign Y = T ? (S ? D : C) :
-               (S ? B : A);
-endmodule