fix typo in o1vm/src/pickles/prover.rs

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