diff options
Diffstat (limited to 'Build/source/texk/web2c')
| -rw-r--r-- | Build/source/texk/web2c/mplibdir/lmplib.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mplibdir/lmplib.c b/Build/source/texk/web2c/mplibdir/lmplib.c index e61535ef9fa..6a3f83e8775 100644 --- a/Build/source/texk/web2c/mplibdir/lmplib.c +++ b/Build/source/texk/web2c/mplibdir/lmplib.c @@ -425,7 +425,7 @@ static int mplib_new(lua_State * L) options->noninteractive = 1; /* required ! */ options->find_file = mplib_find_file; options->run_script = mplib_run_script; - // options->script_error = mplib_script_error; + /* options->script_error = mplib_script_error; */ options->print_found_names = 1; options->ini_version = 1; if (lua_type(L, 1) == LUA_TTABLE) { |