Skip to content

Commit 8318a01

Browse files
committed
minor: Fix typo in GNATkp doc
1 parent 6ce303c commit 8318a01

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

lkql_checker/doc/gnatcheck_rm/using_gnatcheck.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -960,7 +960,7 @@ combined with the ``--kp-version`` and possibly ``--target`` switches,
960960
.. attention::
961961

962962
You must provide explicit target and runtime (either through the command-line
963-
or with a provided project file) when running GNATKP to ensure the result
963+
or with a provided project file) when running GNATkp to ensure the result
964964
soundness.
965965

966966
You can check via the GNAT Tracker interface which known problems are

0 commit comments

Comments
 (0)