diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs
index 0863227ef5..d9aa9416cf 100644
--- a/o1vm/src/pickles/prover.rs
+++ b/o1vm/src/pickles/prover.rs
@@ -272,7 +272,7 @@ where
 
         let fail_final_q_division = || panic!("Fail division by vanishing poly");
         let fail_remainder_not_zero =
-            || panic!("The constraints are not satisifed since the remainder is not zero");
+            || panic!("The constraints are not satisfied since the remainder is not zero");
         // We compute the polynomial t(X) by dividing the constraints polynomial
         // by the vanishing polynomial, i.e. Z_H(X).
         let (quotient, rem) = expr_evaluation_interpolated