C++: Delete TODO.

This commit is contained in:
Geoffrey White
2020-02-14 17:23:54 +00:00
parent 5f7085937e
commit 22cba0f26e

View File

@@ -47,7 +47,6 @@ abstract class SideEffectFunction extends Function {
*/
predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) { none() }
// TODO: name?
/**
* Gets the index of the parameter that indicates the size of the buffer pointed to by the
* parameter at index `i`.