Fix spacing

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index abdf7f9cc478c1f73d44fb06a0a96b51082d917a..2a77ce39740a8e0d2a05ae8dc404b2b68468e3e3 100644 (file)
--- 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