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