Fix spacing

This commit is contained in:
Eddie Hung 2019-07-09 09:22:12 -07:00
parent 667199d460
commit bc84f7dd10
1 changed files with 1 additions and 1 deletions

View File

@ -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