C++: Fix Code Scanning error.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-05-15 14:05:41 +01:00
parent f1c124a3da
commit 650e9e1088

View File

@@ -162,7 +162,7 @@ module ValidState {
// p = b ? new char[size] : new char[size + 1];
// memset(p, 0, size + 2);
// ```
// the valid flow-states at the `memset` must include set set `{0, 1}` since the
// the valid flow-states at the `memset` must include the set `{0, 1}` since the
// flow-state at `new char[size]` is `0`, and the flow-state at `new char[size + 1]`
// is `1`.
//