Fix use of blif name in synth_xilinx command

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 80d120fe1e556c461787bf5409e6a54a2e1c6434..1fd2d4f8bcac90d8c4314698a4d4f34e3e09a3d1 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -672,7 +672,7 @@ struct SynthXilinxPass : public ScriptPass
 
                if (check_label("blif")) {
                        if (!blif_file.empty() || help_mode)
-                               run(stringf("write_blif %s", edif_file.c_str()));
+                               run(stringf("write_blif %s", blif_file.c_str()));
                }
        }
 } SynthXilinxPass;