C#: Address review comments and sync files.

This commit is contained in:
Michael Nebel
2023-01-11 16:28:47 +01:00
parent 67cbe38255
commit 7e4f7a0c17
6 changed files with 6 additions and 6 deletions

View File

@@ -241,7 +241,7 @@ module Public {
}
/**
* Holds if the summaries that apply to `this` are auto generated and not manually generated.
* Holds if all the summaries that apply to `this` are auto generated and not manually created.
*/
final predicate isAutoGenerated() { this.hasProvenance("generated") and not this.isManual() }