Update help message

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index d6e7c2623fca0a4a9543b17da305dc35b11a42fe..53eee79627b2358e59abeeea46732fe680c328fa 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -108,7 +108,7 @@ struct SynthXilinxPass : public Pass
                log("        techmap -map +/xilinx/drams_map.v\n");
                log("\n");
                log("    fine:\n");
-               log("        opt -fast -full\n");
+               log("        opt -fast\n");
                log("        memory_map\n");
                log("        dffsr2dff\n");
                log("        dff2dffe\n");