diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex.h')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex.h b/Build/source/texk/web2c/synctexdir/synctex.h index 4e52b1b3a39..96e03c84cd9 100644 --- a/Build/source/texk/web2c/synctexdir/synctex.h +++ b/Build/source/texk/web2c/synctexdir/synctex.h @@ -45,6 +45,9 @@ Latest Revision: Wed Jul 1 08:17:50 UTC 2009 #include "synctex-common.h" +/* Free all memory used, close and remove the file if any. */ +void synctexabort(boolean log_opened); + /* Send this message when starting a new input. */ extern void synctexstartinput(void); |