diff options
Diffstat (limited to 'Build/source/texk/web2c')
-rw-r--r-- | Build/source/texk/web2c/hitexdir/hitex.w | 4 |
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); |