diff options
Diffstat (limited to 'Build/source/texk/web2c/pooltype.ch')
-rw-r--r-- | Build/source/texk/web2c/pooltype.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pooltype.ch b/Build/source/texk/web2c/pooltype.ch index 55e8a65bd8b..85849a3efa4 100644 --- a/Build/source/texk/web2c/pooltype.ch +++ b/Build/source/texk/web2c/pooltype.ch @@ -25,7 +25,7 @@ procedure initialize; {this procedure gets things started properly} procedure initialize; {this procedure gets things started properly} var @<Local variables for initialization@>@; begin - kpse_set_progname (argv[0]); + kpse_set_program_name (argv[0], nil); parse_arguments; @<Set initial values of key variables@> @z |