diff options
Diffstat (limited to 'server/synctex_parser.c')
| -rw-r--r-- | server/synctex_parser.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/server/synctex_parser.c b/server/synctex_parser.c index 5b28ace..5b7e8c5 100644 --- a/server/synctex_parser.c +++ b/server/synctex_parser.c @@ -94,6 +94,8 @@ Thu Jun 19 09:39:21 UTC 2008 #include "synctex_parser.h" #include "synctex_parser_utils.h" +#define printf(fmt, args...) (fprintf (stderr, (fmt), ## args)) + /* These are the possible extensions of the synctex file */ const char * synctex_suffix = ".synctex"; const char * synctex_suffix_gz = ".gz"; |