On Thu, Jul 14, 2022 at 1:26 PM Baruch Siach <baruch@xxxxxxxxxx> wrote: > > on -> one. > > Signed-off-by: Baruch Siach <baruch@xxxxxxxxxx> > --- Applied to linux-kbuild. Thanks. > Documentation/kbuild/kconfig-language.rst | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/Documentation/kbuild/kconfig-language.rst b/Documentation/kbuild/kconfig-language.rst > index a7173843a294..7fb398649f51 100644 > --- a/Documentation/kbuild/kconfig-language.rst > +++ b/Documentation/kbuild/kconfig-language.rst > @@ -672,7 +672,7 @@ Future kconfig work > Work on kconfig is welcomed on both areas of clarifying semantics and on > evaluating the use of a full SAT solver for it. A full SAT solver can be > desirable to enable more complex dependency mappings and / or queries, > -for instance on possible use case for a SAT solver could be that of handling > +for instance one possible use case for a SAT solver could be that of handling > the current known recursive dependency issues. It is not known if this would > address such issues but such evaluation is desirable. If support for a full SAT > solver proves too complex or that it cannot address recursive dependency issues > -- > 2.35.1 > -- Best Regards Masahiro Yamada
