C#/Java: Fix typo in the QL doc comment.

This commit is contained in:
Michael Nebel
2022-06-20 16:26:07 +02:00
parent c9c981d03a
commit b4457de58c
2 changed files with 2 additions and 2 deletions

View File

@@ -69,7 +69,7 @@
* sources "remote" indicates a default remote flow source, and for summaries
* "taint" indicates a default additional taint step and "value" indicates a
* globally applicable value-preserving step.
* 9. The `provenance` column is tag to indicate the origin of the summary.
* 9. The `provenance` column is a tag to indicate the origin of the summary.
* There are two supported values: "generated" and "manual". "generated" means that
* the model has been emitted by the model generator tool and "manual" means
* that the model has been written by hand. This information is used in a heuristic