diff --git a/executor/src/witgen/jit/affine_symbolic_expression.rs b/executor/src/witgen/jit/affine_symbolic_expression.rs
index e3101f3b18..b9081c7007 100644
--- 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 => {