C#/Java/Ruby/Swift: Fix various typos.

This commit is contained in:
Michael Nebel
2022-08-04 13:53:34 +02:00
parent 8949f71250
commit 581824a9b4
5 changed files with 5 additions and 5 deletions

View File

@@ -246,7 +246,7 @@ module Public {
NegativeSummarizedCallable() { negativeSummaryElement(this, _) }
/**
* Holds if the none summary is auto generated.
* Holds if the negative summary is auto generated.
*/
predicate isAutoGenerated() { negativeSummaryElement(this, true) }
}