diff --git a/extensions/ecc/circuit/src/weierstrass_chip/double.rs b/extensions/ecc/circuit/src/weierstrass_chip/double.rs
index 437a3ac0d7..9ddb06ec19 100644
--- a/extensions/ecc/circuit/src/weierstrass_chip/double.rs
+++ b/extensions/ecc/circuit/src/weierstrass_chip/double.rs
@@ -231,7 +231,6 @@ where
             vec![x_biguint.clone(), y_biguint.clone()],
             vec![is_double_flag],
         );
-        assert_eq!(vars.len(), 3); // x1^2, x3, y3
 
         let writes = self
             .air