From 3cd2f28d48c82f5ad8c34ee2fa0a92bf107db03b Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 18 Dec 2020 18:29:10 +0100
Subject: [PATCH] Rework detection initial info message.
---
solver.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/solver.ml b/solver.ml
index 8beda3a..d31c2df 100644
--- a/solver.ml
+++ b/solver.ml
@@ -217,7 +217,7 @@ let detect_default_solvers () =
let detect filename =
let open Result in
Logs.info (fun m ->
- m "Detecting solvers in $PATH, and writing configuration file `%s'."
+ m "Detecting solvers and writing configuration file `%s'."
filename);
(* Create new configuration file and retrieve the `config' from the existing
one, if any. *)
--
GitLab