From cb5638d6695ebfeec5d437cc51d0501f60444112 Mon Sep 17 00:00:00 2001
From: chriseth <chriseth.github@gmail.com>
Date: Tue, 10 Dec 2024 09:04:33 +0000
Subject: [PATCH] Only mention constraint in error message.

---
 executor/src/witgen/jit/affine_symbolic_expression.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 => {