diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex_parser_utils.h')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex_parser_utils.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex_parser_utils.h b/Build/source/texk/web2c/synctexdir/synctex_parser_utils.h index 0f645511e29..f276b3c5b17 100644 --- a/Build/source/texk/web2c/synctexdir/synctex_parser_utils.h +++ b/Build/source/texk/web2c/synctexdir/synctex_parser_utils.h @@ -46,6 +46,8 @@ authorization from the copyright holder. * The problem mainly comes from file name management: path separator, encoding... */ +#include "synctex_version.h" + typedef int synctex_bool_t; # define synctex_YES (0==0) # define synctex_NO (0==1) |