summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/mplibdir/lmplib.c2
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) {