Merge pull request #7296 from intrigus-lgtm/patch-7

Fix QL Doc typo.
This commit is contained in:
Arthur Baars
2021-12-03 11:54:22 +01:00
committed by GitHub
3 changed files with 3 additions and 3 deletions

View File

@@ -1005,7 +1005,7 @@ module Private {
/** Gets the string representation of this callable used by `summary/1`. */
abstract string getCallableCsv();
/** Holds if flow is progated between `input` and `output` */
/** Holds if flow is propagated between `input` and `output`. */
predicate relevantSummary(
SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue
) {

View File

@@ -1005,7 +1005,7 @@ module Private {
/** Gets the string representation of this callable used by `summary/1`. */
abstract string getCallableCsv();
/** Holds if flow is progated between `input` and `output` */
/** Holds if flow is propagated between `input` and `output`. */
predicate relevantSummary(
SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue
) {

View File

@@ -1005,7 +1005,7 @@ module Private {
/** Gets the string representation of this callable used by `summary/1`. */
abstract string getCallableCsv();
/** Holds if flow is progated between `input` and `output` */
/** Holds if flow is propagated between `input` and `output`. */
predicate relevantSummary(
SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue
) {