From 9ed6d97f9647fba3f838575d2001a0d58c498278 Mon Sep 17 00:00:00 2001 From: Josh Soref <2119212+jsoref@users.noreply.github.com> Date: Thu, 20 Oct 2022 08:11:38 -0400 Subject: [PATCH] spelling: recommended Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com> --- docs/ql-libraries/dataflow/dataflow.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/ql-libraries/dataflow/dataflow.md b/docs/ql-libraries/dataflow/dataflow.md index 01f1cfcaebc..c94ab6dd4b5 100644 --- a/docs/ql-libraries/dataflow/dataflow.md +++ b/docs/ql-libraries/dataflow/dataflow.md @@ -295,7 +295,7 @@ through an additional step targeting a `PostUpdateNode`). It is recommended to introduce `PostUpdateNode`s for all `ArgumentNode`s (this can be skipped for immutable arguments), and all field qualifiers for both reads and stores. Note also that in the case of compound arguments, such as -`b ? x : y`, it is recommented to have post-update nodes for `x` and `y` (and +`b ? x : y`, it is recommended to have post-update nodes for `x` and `y` (and not the compound argument itself), and let `[post update] x` have both `x` and `b ? x : y` as pre-update nodes (and similarly for `[post update] y`).