summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/hitexdir/hitex.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/hitex.w')
-rw-r--r--Build/source/texk/web2c/hitexdir/hitex.w4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/hitexdir/hitex.w b/Build/source/texk/web2c/hitexdir/hitex.w
index 515767c6e9a..bb4160f290e 100644
--- a/Build/source/texk/web2c/hitexdir/hitex.w
+++ b/Build/source/texk/web2c/hitexdir/hitex.w
@@ -34320,9 +34320,9 @@ Therefore we record {\tt texmf.cnf} with the following code:
@<record {\tt texmf.cnf}@>=
if (recorder_enabled) {
- string *p = kpse_find_file_generic ("texmf.cnf", kpse_cnf_format, 0, 1);
+ char **p = kpse_find_file_generic ("texmf.cnf", kpse_cnf_format, 0, 1);
if (p && *p) {
- string *pp = p;
+ char **pp = p;
while (*p) {
recorder_record_input (*p);
free (*p);