summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/texmfmp.h
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2019-05-07 23:29:24 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2019-05-07 23:29:24 +0000
commit9a3eca42663c7cb45bb499692d1aed1c90a02dee (patch)
tree1083fab3de34faca8f89d0390d6011e9321b22a5 /Build/source/texk/web2c/texmfmp.h
parent5339b999a18c1ceb3a98c6cc3b2cee75109edfc5 (diff)
Apply a patch in https://tug.org/pipermail/tex-k/2019-May/003014.html
git-svn-id: svn://tug.org/texlive/trunk@51041 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/texmfmp.h')
-rw-r--r--Build/source/texk/web2c/texmfmp.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/texmfmp.h b/Build/source/texk/web2c/texmfmp.h
index 5aead37b11d..b12281d1ffd 100644
--- a/Build/source/texk/web2c/texmfmp.h
+++ b/Build/source/texk/web2c/texmfmp.h
@@ -126,6 +126,7 @@ extern void pdftex_fail(const char *fmt, ...);
#endif
extern char start_time_str[];
extern void initstarttime(void);
+extern string find_input_file(integer s);
#if !defined(XeTeX)
extern char *makecstring(integer s);
extern char *makecfilename(integer s);