Skip to content

Commit

Permalink
Merge branch 'update_u_doc2' into 'master'
Browse files Browse the repository at this point in the history
Update -U main documentation for gnatcheck

Closes #87

See merge request eng/libadalang/langkit-query-language!70
  • Loading branch information
fedor-rybin committed Jul 17, 2023
2 parents c033249 + c2db947 commit 88e5bf7
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions lkql_checker/doc/gnatcheck_rm/using_gnatcheck.rst
Original file line number Diff line number Diff line change
Expand Up @@ -49,8 +49,7 @@ The following switches control the general ``gnatcheck`` behavior
specified (either directly or by means of ``-files`` option), process
the closure of units rooted at `main_unit`. Otherwise this option
has no effect. ``main_unit`` should be the name of a source file that contains
the main unit of closure. Note that this option is currently ignored (it is
equivalent to ``-U``) and will be implemented in a future version.
the main unit of closure.

.. index:: --no-subprojects

Expand Down

0 comments on commit 88e5bf7

Please sign in to comment.