diff options
Diffstat (limited to 'source/luametatex/source/tex/texdumpdata.c')
-rw-r--r-- | source/luametatex/source/tex/texdumpdata.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/luametatex/source/tex/texdumpdata.c b/source/luametatex/source/tex/texdumpdata.c index 1500ec78b..137c12ba9 100644 --- a/source/luametatex/source/tex/texdumpdata.c +++ b/source/luametatex/source/tex/texdumpdata.c @@ -287,7 +287,7 @@ static void tex_aux_undump_fmt_data(dumpstream f) /*tex This should go elsewhere. */ - cur_list.prev_depth = ignore_depth_criterium_par; + cur_list.prev_depth = ignore_depth_criterion_par; } /* |