Update src/lib/reasoners/fun_sat.mli

Co-authored-by: Pierrot <[email protected]>
Stevendeo · Nov 23, 2023 · b5ec20f · b5ec20f
1 parent 59c7d6b
commit b5ec20f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/reasoners/fun_sat.mli b/src/lib/reasoners/fun_sat.mli
@@ -28,7 +28,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(** A functional implementation of the solver. *)
+(** A functional SAT solver implementation. *)
 module Make (Th : Theory.S) : sig
   type t