spelling: edge

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-10-12 14:35:19 -04:00
parent 7fd7d9c986
commit 90b8781e6b

View File

@@ -250,7 +250,7 @@ class TaintTrackingImplementation extends string {
}
/**
* Hold if taint flows to `src` to `(node, context, path, kind)` in a single step, labelled with `egdeLabel` with this configuration.
* Hold if taint flows to `src` to `(node, context, path, kind)` in a single step, labelled with `edgeLabel` with this configuration.
* `edgeLabel` is purely informative.
*/
predicate flowStep(