Update src/lib/reasoners/shostak.ml

Co-authored-by: Basile Clément <[email protected]>
OCamlPro · Oct 13, 2023 · f005dc6 · f005dc6
1 parent ef5fbdb
commit f005dc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/reasoners/shostak.ml b/src/lib/reasoners/shostak.ml
@@ -647,7 +647,7 @@ struct
            List.exists (fun (t,_) -> Expr.const_term t) eq then None
         else Some (Expr.fresh_name ty, false) (* false <-> not a case-split *)
       | _               ->
-        (* There is no mode-generation support for the AC symbols yet.
+        (* There is no model-generation support for the AC symbols yet.
            The function [AC.assign_value] always returns [None]. *)
         AC.assign_value r distincts eq
     in