Apply suggestions from code review

Co-authored-by: Jami <57204504+jcogs33@users.noreply.github.com>
This commit is contained in:
Michael Nebel
2023-05-08 12:34:07 +02:00
parent 8435c31213
commit efa2bd8614
3 changed files with 4 additions and 4 deletions

View File

@@ -27,7 +27,7 @@ extensible predicate summaryModel(
);
/**
* Holds if a neutral model exists indicating there is no flow for the given parameters.
* Holds if a neutral model exists for the given parameters.
*/
extensible predicate neutralModel(
string package, string type, string name, string signature, string kind, string provenance