Fix potential crash.

diff --git a/tools/dumpsubs.cc b/tools/dumpsubs.cc
index 7b07ac80020f7bbcefb4486c9599f347ad106432..991d018dfc750aa5c7b3bf0a9ac73d3d72d76e3b 100644 (file)
--- 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) {