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/texmainbody.c | |
| parent | 1bcb61ec8c01b503740bfeb8cc9d5f62553b3f72 (diff) | |
| download | context-f9dc65246f5d46583d00db93761929b6c6b5bf20.tar.gz | |
2023-05-29 14:15:00
Diffstat (limited to 'source/luametatex/source/tex/texmainbody.c')
| -rw-r--r-- | source/luametatex/source/tex/texmainbody.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/luametatex/source/tex/texmainbody.c b/source/luametatex/source/tex/texmainbody.c index 707882a6b..4bc419df7 100644 --- a/source/luametatex/source/tex/texmainbody.c +++ b/source/luametatex/source/tex/texmainbody.c @@ -375,11 +375,11 @@ void tex_main_body(void) } /*tex - We assume that |ignore_depth_criterium_par| is unchanged. If needed we can always do + We assume that |ignore_depth_criterion_par| is unchanged. If needed we can always do this: */ - /* cur_list.prev_depth = ignore_depth_criterium_par; */ + /* cur_list.prev_depth = ignore_depth_criterion_par; */ /*tex Ready to go, so come to life. */ |