C++: Fix typo

This commit is contained in:
Jeroen Ketema
2023-03-21 15:54:43 +01:00
parent 39272def2d
commit 886abd1231

View File

@@ -79,6 +79,6 @@ from
ArraySizeFlow::PathNode1 source1, ArraySizeFlow::PathNode2 source2,
ArraySizeFlow::PathNode1 sink1, ArraySizeFlow::PathNode2 sink2
where ArraySizeFlow::hasFlowPath(source1, source2, sink1, sink2)
// TODO: pull delta osut and display it
// TODO: pull delta out and display it
select sink1.getNode(), source1, sink1, "Off-by one error allocated at $@ bounded by $@.", source1,
source1.toString(), sink2, sink2.toString()