summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/luatexdir/ptexlib.h
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2011-04-16 12:06:54 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2011-04-16 12:06:54 +0000
commit017d7edcd26d81f68ed094c2ecfaaec9dbe584ab (patch)
tree5529dad4190b7f83660cd5a6da6cd74ea25b23f5 /Build/source/texk/web2c/luatexdir/ptexlib.h
parentde213e63ed71445ac929103b9b15d8c79fdc1f63 (diff)
synctex: small bug fix
luaTeX: drop private copies of synctex files git-svn-id: svn://tug.org/texlive/trunk@22094 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/ptexlib.h')
-rw-r--r--Build/source/texk/web2c/luatexdir/ptexlib.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/luatexdir/ptexlib.h b/Build/source/texk/web2c/luatexdir/ptexlib.h
index 236b270cd5e..e6fa7920e12 100644
--- a/Build/source/texk/web2c/luatexdir/ptexlib.h
+++ b/Build/source/texk/web2c/luatexdir/ptexlib.h
@@ -167,7 +167,7 @@ size_t T##_limit
# include "pdf/pdftypes.h"
/* synctex */
-# include "utils/synctex.h"
+# include "synctex.h"
# include "utils/avlstuff.h"
# include "utils/managed-sa.h"