diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mp.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mp.w | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mp.w b/Build/source/texk/web2c/mplibdir/mp.w index e4a27a370c5..9ed3ccad359 100644 --- a/Build/source/texk/web2c/mplibdir/mp.w +++ b/Build/source/texk/web2c/mplibdir/mp.w @@ -21467,7 +21467,7 @@ int mp_run_make_mpx (MP mp, char *origname, char *mtxname) { if ( mp->interaction==mp_error_stop_mode ) mp->interaction=mp_scroll_mode; /* no more interaction */ if ( mp->log_opened ) - mp_error(mp, "! Unable to make mpx file", hlp, true); + mp_error(mp, "! Unable to read mpx file", hlp, true); mp->history=mp_fatal_error_stop; mp_jump_out(mp); /* irrecoverable error */ } |