diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/printing.h')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/printing.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/printing.h b/Build/source/texk/web2c/luatexdir/tex/printing.h index e54186a2710..0d87f3d4ae7 100644 --- a/Build/source/texk/web2c/luatexdir/tex/printing.h +++ b/Build/source/texk/web2c/luatexdir/tex/printing.h @@ -124,6 +124,7 @@ extern void print_csnames(int hstart, int hfinish); extern void print_file_line(void); extern void begin_diagnostic(void); +extern void print_input_level(void); extern void end_diagnostic(boolean blank_line); extern int global_old_setting; |