diff --git a/src/config/whyconfig.ml b/src/config/whyconfig.ml index 4493e26545455a0bd5f235fe246a553b072fe1a8..22550cf0de0e30eaace057482197a72ea7e2fc5e 100644 --- a/src/config/whyconfig.ml +++ b/src/config/whyconfig.ml @@ -23,9 +23,9 @@ open Util open Whyconf let usage_msg = - sprintf "Usage: %s [options]\n\n - Environment variables WHY3LIB, WHY3DATA, and WHY3CONFIG\n - can be set to change the default paths\n@." + sprintf "Usage: %s [options]\n + Environment variables WHY3LIB, WHY3DATA, and WHY3CONFIG + can be set to change the default paths.@." (Filename.basename Sys.argv.(0)) let version_msg = sprintf