diff options
| author | Carl Hetherington <cth@carlh.net> | 2019-01-17 00:06:47 +0000 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2019-01-17 00:06:47 +0000 |
| commit | 7d302ed6712518c5fdbf59f30e07b688865d56fa (patch) | |
| tree | 8e1f60f8bbdd051d8edb30a559949c538300a046 | |
| parent | 5b7a14812684e9f4c6071deae6853bf407171b1e (diff) | |
Fix potential crash.
| -rw-r--r-- | tools/dumpsubs.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dumpsubs.cc b/tools/dumpsubs.cc index 7b07ac8..991d018 100644 --- a/tools/dumpsubs.cc +++ b/tools/dumpsubs.cc @@ -93,7 +93,7 @@ main (int argc, char* argv[]) if (j->vertical_position.proportional) { cout << j->vertical_position.proportional.get() << " of screen"; - } else if (j->vertical_position.line) { + } else if (j->vertical_position.line && j->vertical_position.lines) { cout << j->vertical_position.line.get() << " lines of " << j->vertical_position.lines.get(); } if (j->vertical_position.reference) { |