spelling nit

Signed-off-by: Jake Massimo <[email protected]>

Author: jakemas

proofs/hol_light/x86_64/proofs/mldsa_specs.ml

@@ -194,7 +194,7 @@ let UNIFY_INTCONG_RULE th1 th2 =
   CONJ (WEAKEN_INTCONG_RULE d th1) (WEAKEN_INTCONG_RULE d th2);;
 
 (* ------------------------------------------------------------------------- *)
-(* Process list of ineqequality into standard congbounds for atomic terms.   *)
+(* Process list of inequality into standard congbounds for atomic terms.     *)
 (* ------------------------------------------------------------------------- *)
 
 let DIMINDEX_INT_REDUCE_CONV =