Fix spelling

OCamlPro · Sep 22, 2023 · d26bb62 · d26bb62
1 parent 6dc2fa5
commit d26bb62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
@@ -1026,7 +1026,7 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
     else
       begin
         (* Beware: models generated on timeout of ProofSearch phase may
-           be incohrent wrt. the ground part of the pb (ie. if delta
+           be incoherent wrt. the ground part of the pb (ie. if delta
            is not empty ? *)
         env.model_gen_phase := true;
         Options.Time.unset_timeout ();