From b5ec20f4ac3637b207af97899998d723e1f3197c Mon Sep 17 00:00:00 2001
From: Stevendeo <de.oliveira.steven@gmail.com>
Date: Thu, 23 Nov 2023 11:34:27 +0100
Subject: [PATCH] Update src/lib/reasoners/fun_sat.mli

Co-authored-by: Pierrot <tiky.halbaroth@gmail.com>
---
 src/lib/reasoners/fun_sat.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/reasoners/fun_sat.mli b/src/lib/reasoners/fun_sat.mli
index 60c3e6a66..953aaeac1 100644
--- 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