From 2b104ed6c8f86a62d192b43fe3f73cc6f0b43e27 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 26 Jun 2019 17:42:50 -0700
Subject: [PATCH] Replace with <internal options>

---
 techlibs/xilinx/synth_xilinx.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 199d0737d..877694e8a 100644
--- 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";
-- 
2.30.2