From 73537b8907e0a54ebd5aaf6039d57537a331fcb8 Mon Sep 17 00:00:00 2001 From: Steven de Oliveira Date: Mon, 25 Sep 2023 17:23:17 +0200 Subject: [PATCH] Some more poetry --- src/lib/reasoners/fun_sat.ml | 3 ++- src/lib/reasoners/satml_frontend.ml | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/lib/reasoners/fun_sat.ml b/src/lib/reasoners/fun_sat.ml index 63c8be0e33..43e56a6a4c 100644 --- 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 index 6c1ccafa7a..f9af775264 100644 --- 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 () = {