diff --git a/techlibs/xilinx/abc_xc7.box b/techlibs/xilinx/abc_xc7.box
index 20da3b8a0..bd6b94817 100644
--- 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