diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-05-06 12:54:21 +0200 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-05-06 12:54:21 +0200 |
| commit | dac92c5ae9da6aa21fdcd261737e08d6898dbbdc (patch) | |
| tree | 81328f91cdeff5665c86b31b536d9a376fc38fdd /src/python/doc/witness_complex_user.rst | |
| parent | ac7917ab2cbece048e554e32cc653c14440dbcc0 (diff) | |
Avoid reading outside of allocated region
The result was unused, but better be safe.
Diffstat (limited to 'src/python/doc/witness_complex_user.rst')
0 files changed, 0 insertions, 0 deletions