spelling: context

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-10-12 14:35:15 -04:00
parent 6e905ce96f
commit d648886c55

View File

@@ -1177,7 +1177,7 @@ module InterProceduralPointsTo {
)
}
/** Holds if the named `argument` given the context `caller` is transferred to the parameter `param` with conntext `callee` by a call. */
/** Holds if the named `argument` given the context `caller` is transferred to the parameter `param` with context `callee` by a call. */
cached
predicate named_argument_transfer(
ControlFlowNode argument, PointsToContext caller, ParameterDefinition param,