diff --git a/src/client/opamArg.ml b/src/client/opamArg.ml index f221211bbdd..0c8518491a6 100644 --- a/src/client/opamArg.ml +++ b/src/client/opamArg.ml @@ -979,7 +979,7 @@ let global_options = "Don't fail if all requested packages can't be installed: try to install \ as many as possible. Note that not all external solvers may support \ this option (recent versions of $(i,aspcud) or $(i,mccs) should). This \ - is equivalent to setting $($b,\\$OPAMBESTEFFORT) environment variable." + is equivalent to setting $(b,\\$OPAMBESTEFFORT) environment variable." in let safe_mode = mk_flag ~section ["readonly"; "safe"]