diff options
author | Jonathan Kew <jfkthame@googlemail.com> | 2008-05-28 11:45:08 +0000 |
---|---|---|
committer | Jonathan Kew <jfkthame@googlemail.com> | 2008-05-28 11:45:08 +0000 |
commit | 978976300a61c63fadab8703c135e9028f5c231a (patch) | |
tree | a09e6f1a7379e4375a1ee8af37e43f7770d2d19d /Build | |
parent | 4951ed1c8ce93816cd8c895e97115b0df15e7979 (diff) |
fix synctex crash when page # out of range
git-svn-id: svn://tug.org/texlive/trunk@8382 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/web2c/synctex/synctex_parser.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctex/synctex_parser.c b/Build/source/texk/web2c/synctex/synctex_parser.c index 91764a2324c..afa3d2aac51 100644 --- a/Build/source/texk/web2c/synctex/synctex_parser.c +++ b/Build/source/texk/web2c/synctex/synctex_parser.c @@ -2764,7 +2764,7 @@ int synctex_edit_query(synctex_scanner_t scanner,int page,float h,float v) { free(SYNCTEX_START); SYNCTEX_START = SYNCTEX_END = SYNCTEX_CUR = NULL; sheet = scanner->sheet; - while(SYNCTEX_INFO(sheet)[PAGE].INT != page) { + while(sheet != NULL && SYNCTEX_INFO(sheet)[PAGE].INT != page) { sheet = SYNCTEX_SIBLING(sheet); } if(NULL == sheet) { |