diff options
| -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) { |