Some more poetry

OCamlPro · Sep 25, 2023 · 73537b8 · 73537b8
1 parent 60ca26d
commit 73537b8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/lib/reasoners/fun_sat.ml b/src/lib/reasoners/fun_sat.ml
@@ -176,7 +176,8 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
     add_inst: E.t -> bool;
     unit_facts_cache : (E.gformula * Ex.t) ME.t ref;
     unknown_reason : Sat_solver_sig.unknown_reason option;
-    (** The reason why fun_sat raised I_dont_know f it does; None by default. *)
+    (** The reason why fun_sat raised [I_dont_know] if it does; [None] by
+        default. *)
   }
 
   let latest_saved_env = ref None

diff --git a/src/lib/reasoners/satml_frontend.ml b/src/lib/reasoners/satml_frontend.ml
@@ -61,7 +61,8 @@ module Make (Th : Theory.S) : Sat_solver_sig.S = struct
     add_inst : E.t -> bool;
     guards : guards;
     unknown_reason : Sat_solver_sig.unknown_reason option;
-    (** The reason why satml raised I_dont_know f it does; None by default. *)
+    (** The reason why satml raised [I_dont_know] if it does; [None] by
+        default. *)
   }
 
   let empty_guards () = {