JS: fix docstring: s/node1/pred + s/node2/succ

This commit is contained in:
Esben Sparre Andreasen
2019-02-25 16:51:30 +01:00
parent 58cc8d0ecc
commit 8e01ccd892

View File

@@ -985,7 +985,7 @@ module DataFlow {
}
/**
* Holds if data can flow from `node1` to `node2` in one local step.
* Holds if data can flow from `pred` to `succ` in one local step.
*/
cached
predicate localFlowStep(Node pred, Node succ) {