fix typo identified by QL-for-QL

This commit is contained in:
Erik Krogh Kristensen
2022-05-17 12:32:40 +02:00
parent bb289e29b9
commit 03da62713c

View File

@@ -177,7 +177,7 @@ predicate isExtraValidTokenNameInIdentifyingAccessPath(string name) {
} }
/** /**
* Holds if `name` is a valid name for an access path token with no arguments, occuring * Holds if `name` is a valid name for an access path token with no arguments, occurring
* in an identifying access path. * in an identifying access path.
*/ */
predicate isExtraValidNoArgumentTokenInIdentifyingAccessPath(string name) { predicate isExtraValidNoArgumentTokenInIdentifyingAccessPath(string name) {