This commit is contained in:
Erik Krogh Kristensen 2022-06-17 15:15:25 +02:00
Родитель a5e789c72b
Коммит 3a4f0299c7
3 изменённых файлов: 5 добавлений и 1 удалений

Просмотреть файл

@ -5793,6 +5793,8 @@ predicate typos(string wrong, string right) {
or
wrong = "paramters" and right = "parameters"
or
wrong = "parametarized" and right = "parameterized"
or
wrong = "paranthesis" and right = "parenthesis"
or
wrong = "paraphenalia" and right = "paraphernalia"

Просмотреть файл

@ -176,7 +176,7 @@ module PredConsistency {
c > 1 and
resolvePredicateExpr(pe, p)
}
// This can happen with parametarized modules
// This can happen with parameterized modules
/*
* query predicate multipleResolveCall(Call call, int c, PredicateOrBuiltin p) {
* c =

Просмотреть файл

@ -5793,6 +5793,8 @@ predicate typos(string wrong, string right) {
or
wrong = "paramters" and right = "parameters"
or
wrong = "parametarized" and right = "parameterized"
or
wrong = "paranthesis" and right = "parenthesis"
or
wrong = "paraphenalia" and right = "paraphernalia"