Do not call opt with -full before muxcover

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 0372cb43cfe7ccece1bfd01167fc414d41d8f88e..efa4d43f07acc56f0cf870aab78de78b99155d1e 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -288,7 +288,7 @@ struct SynthXilinxPass : public ScriptPass
                }
 
                if (check_label("fine")) {
-                       run("opt -fast -full");
+                       run("opt -fast");
                        run("memory_map");
                        run("dffsr2dff");
                        run("dff2dffe");