From: Eddie Hung Date: Tue, 9 Jul 2019 16:22:12 +0000 (-0700) Subject: Fix spacing X-Git-Tag: working-ls180~1208^2~12 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bc84f7dd10ad44118fd6d800cb7a896069fd223d;p=yosys.git Fix spacing --- diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index abdf7f9cc..2a77ce397 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -270,7 +270,7 @@ struct SynthXilinxPass : public ScriptPass } if (check_label("fine")) { - if (widemux > 0) + if (widemux > 0) run("opt -fast -mux_bool -undriven -fine"); // Necessary to omit -mux_undef otherwise muxcover // performs less efficiently else