diff options
Diffstat (limited to 'Build/source/texk/web2c/texmfmp.h')
-rw-r--r-- | Build/source/texk/web2c/texmfmp.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/texmfmp.h b/Build/source/texk/web2c/texmfmp.h index 22dcb099818..58d068a8a34 100644 --- a/Build/source/texk/web2c/texmfmp.h +++ b/Build/source/texk/web2c/texmfmp.h @@ -357,9 +357,10 @@ extern void do_undump (char *, int, int, FILE *); #endif /* Handle SyncTeX, if requested */ -#if defined(TeX) || defined(eTeX) || defined(pdfTeX) || defined(XeTeX) +#if defined(TeX) # if defined(__SyncTeX__) # include "synctexdir/synctex-common.h" +extern char *generic_synctex_get_current_name(void); # endif #endif |