Update shared/mad/codeql/mad/dynamic/GraphExport.qll

Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
Asger F
2024-04-12 15:00:24 +02:00
committed by GitHub
parent 330229c463
commit 3949ae4123

View File

@@ -49,7 +49,7 @@ signature module GraphExportSig<LocationSig Location, WithLocation<Location>::No
predicate suggestedName(Node node, string name);
/**
* Holds if `node` must be named if it part of the exported graph.
* Holds if `node` must be named if it is part of the exported graph.
*/
predicate mustBeNamed(Node node);