diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-05-29 14:53:42 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-05-29 14:53:42 +0200 |
commit | f9dc65246f5d46583d00db93761929b6c6b5bf20 (patch) | |
tree | fc0072c7f9788452cc2b0dc2b729baec9570886c /source/luametatex/source/tex/texdumpdata.c | |
parent | 1bcb61ec8c01b503740bfeb8cc9d5f62553b3f72 (diff) | |
download | context-f9dc65246f5d46583d00db93761929b6c6b5bf20.tar.gz |
2023-05-29 14:15:00
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; } /* |