Naming change

Co-authored-by: Alex Ford <alexrford@users.noreply.github.com>
This commit is contained in:
Maiky
2023-09-15 11:40:34 +02:00
committed by GitHub
parent 2ebe46bd05
commit aea6eeda38

View File

@@ -1290,7 +1290,7 @@ module JwtEncoding {
abstract DataFlow::Node getKey();
/** Checks if the payloads gets signed while encoding. */
abstract predicate signs();
abstract predicate signsPayload();
}
}