Use CARRY4 for abc1 as well, preventing issues with Vivado

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 51d2cbbd2163203165899b7e0d8fcb7ad182cdd2..7ff09a4378a063f457eab07b68ebcdac881ca14e 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -515,7 +515,7 @@ struct SynthXilinxPass : public ScriptPass
                                techmap_args += " -map +/xilinx/arith_map.v";
                                if (vpr)
                                        techmap_args += " -D _EXPLICIT_CARRY";
-                               else if (abc9)
+                               else
                                        techmap_args += " -D _CLB_CARRY";
                        }
                        run("techmap " + techmap_args);