Replace with <internal options>

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 199d0737dd3a456a316dc6432a9813d920d419d9..877694e8a930f2153055574459e56723bea8d9e8 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -277,8 +277,8 @@ struct SynthXilinxPass : public ScriptPass
                        run("dffsr2dff");
                        run("dff2dffe");
                        if (help_mode) {
-                               run("simplemap t:$mux", "                 ('-widemux' only)");
-                               run("muxcover -dmux=0 -mux8=<cost> -mux16=<cost>, ('-widemux' only)");
+                               run("simplemap t:$mux", "         ('-widemux' only)");
+                               run("muxcover <internal options>, ('-widemux' only)");
                        }
                        else if (widemux > 0) {
                                std::string muxcover_args = " -dmux=0";