Only mention constraint in error message.

powdr-labs · Dec 10, 2024 · cb5638d · cb5638d
1 parent 09773df
commit cb5638d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/executor/src/witgen/jit/affine_symbolic_expression.rs b/executor/src/witgen/jit/affine_symbolic_expression.rs
@@ -157,7 +157,7 @@ impl<T: FieldElement, V: Ord + Clone + Display> AffineSymbolicExpression<T, V> {
                 return if self.offset.is_known_zero() {
                     Ok(vec![])
                 } else {
-                    Err(EvalError::ConstraintUnsatisfiable(format!("{self} != 0")))
+                    Err(EvalError::ConstraintUnsatisfiable(self.to_string()))
                 };
             }
             1 => {