Fix box name

diff --git a/techlibs/xilinx/abc_xc7.box b/techlibs/xilinx/abc_xc7.box
index 20da3b8a07086b4edf45e77a5183d4a6d9d5d58b..bd6b94817025f502f2c288299128f37f70f23cb3 100644 (file)
--- a/techlibs/xilinx/abc_xc7.box
+++ b/techlibs/xilinx/abc_xc7.box
@@ -7,7 +7,7 @@
 # Average across F7[AB]MUX
 # Inputs: I0 I1 S0
 # Outputs: O
-F7MUX 1 1 3 1
+MUXF7 1 1 3 1
 204 208 286
 
 # Inputs: I0 I1 S0