diff --git a/modules/synctex/synctex_parser.c b/modules/synctex/synctex_parser.c index 120b6010..735e3a7d 100644 --- a/modules/synctex/synctex_parser.c +++ b/modules/synctex/synctex_parser.c @@ -6977,11 +6977,8 @@ synctex_node_p synctex_scanner_input(synctex_scanner_p scanner) { } synctex_node_p synctex_scanner_input_with_tag(synctex_scanner_p scanner, int tag) { synctex_node_p input = scanner?scanner->input:NULL; - while (_synctex_data_tag(input)!=tag) { - if ((input = __synctex_tree_sibling(input))) { - continue; - } - break; + while (input && _synctex_data_tag(input)!=tag) { + input = __synctex_tree_sibling(input); } return input; } diff --git a/modules/synctex/synctex_parser_version.txt b/modules/synctex/synctex_parser_version.txt index 57432cbd..d0911c8a 100644 --- a/modules/synctex/synctex_parser_version.txt +++ b/modules/synctex/synctex_parser_version.txt @@ -1 +1 @@ -1.30 +1.31 diff --git a/modules/synctex/synctex_version.h b/modules/synctex/synctex_version.h index 908ea7bd..78ce3d90 100644 --- a/modules/synctex/synctex_version.h +++ b/modules/synctex/synctex_version.h @@ -56,10 +56,10 @@ I would appreciate to be listed as contributor and see "__SyncTeX__" highlighted /* The version of the synctex parser library */ # define SYNCTEX_VERSION_MAJOR 1 -# define SYNCTEX_VERSION_MINOR 30 +# define SYNCTEX_VERSION_MINOR 31 /* Keep next value in synch with `synctex_parser_version.txt` contents. */ -# define SYNCTEX_VERSION_STRING "1.30" +# define SYNCTEX_VERSION_STRING "1.31" /* The version of the synctex CLI tool */ # define SYNCTEX_CLI_VERSION_MAJOR 1