summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/lib/inputint.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/lib/inputint.c')
-rw-r--r--Build/source/texk/web2c/lib/inputint.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/lib/inputint.c b/Build/source/texk/web2c/lib/inputint.c
index 7b2dd58704d..d27bb6a148c 100644
--- a/Build/source/texk/web2c/lib/inputint.c
+++ b/Build/source/texk/web2c/lib/inputint.c
@@ -2,7 +2,7 @@
used for debugging and such, so perfect error checking isn't
necessary. Public domain. */
-#include "config.h"
+#include <w2c/config.h>
#include "lib.h"
/* Read an integer from the file F, reading past the subsequent end of