diff options
| author |  Oliver Schwaneberg <oliver.schwaneberg@gmail.com> | 2018-01-27 23:33:05 +0100 |
|---|---|---|
| committer |  Jan Mulder <jlmulder@xs4all.nl> | 2018-01-31 14:47:47 +0100 |
| commit | 728e007c5c3eff08cd3dc213ebc3034a9513d4c9 (patch) | |
| tree | d8f656a9206d445e7562f5c3ffa0467c3efa6ffd /.github | |
| parent | 8f81a22e7f26729cc2f4902ba7db8f696314539f (diff) | |
| download | subsurface-728e007c5c3eff08cd3dc213ebc3034a9513d4c9.tar.gz | |
uemis: code refactoring
- Variable max_deleted_seen had no effect and is removed.
- Results of read/write operations are evaluated to assert success
and to prevent compiler warnings.
Signed-off-by: Oliver Schwaneberg <oliver.schwaneberg@gmail.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions