fix some QL-for-QL warnings in JS

This commit is contained in:
Erik Krogh Kristensen
2022-07-14 09:45:44 +02:00
parent 80cbddf626
commit ed80089d7c
8 changed files with 15 additions and 15 deletions

View File

@@ -38,7 +38,7 @@ predicate accessWithConversions(Expr e, Variable v) {
}
/**
* A comment containing the word "NaN".
* Holds if `c` is a comment containing the word "NaN".
*/
predicate isNaNComment(Comment c, string filePath, int startLine) {
c.getText().matches("%NaN%") and