DataFlow: Fix typo in a comment

This commit is contained in:
Asger F
2025-05-12 09:41:49 +02:00
parent 16fc8c3d9e
commit 8fab235d66

View File

@@ -541,7 +541,7 @@ module Make<
}
/**
* Holds if `s` is a valid input stack, in the sense that we generate data flow graph
* Holds if `s` is a valid input stack, in the sense that we generate a data flow graph
* that faithfully represents this flow, and lambda-tracking can be expected to track
* lambdas to the relevant callbacks in practice.
*/