summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/synctex.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex.h')
-rw-r--r--Build/source/texk/web2c/synctexdir/synctex.h3
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);