diff --git a/crates/multilinear_extensions/src/expression.rs b/crates/multilinear_extensions/src/expression.rs index e5c4c45..61027fe 100644 --- a/crates/multilinear_extensions/src/expression.rs +++ b/crates/multilinear_extensions/src/expression.rs @@ -465,7 +465,8 @@ impl Neg for Expression { Expression::Fixed(_) | Expression::WitIn(_) | Expression::StructuralWitIn(..) - | Expression::Instance(_) => Expression::ScaledSum( + | Expression::Instance(_) + | Expression::InstanceScalar(_) => Expression::ScaledSum( Box::new(self), Box::new(Expression::Constant(Either::Left(-E::BaseField::ONE))), Box::new(Expression::Constant(Either::Left(E::BaseField::ZERO))), @@ -478,9 +479,6 @@ impl Neg for Expression { Expression::Challenge(challenge_id, pow, scalar, offset) => { Expression::Challenge(challenge_id, pow, scalar.neg(), offset.neg()) } - Expression::InstanceScalar(_) => { - unimplemented!("figure out how to support InstanceScalar") - } } } }