diff options
Diffstat (limited to 'source/luametatex/source/tex/texprinting.h')
-rw-r--r-- | source/luametatex/source/tex/texprinting.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/luametatex/source/tex/texprinting.h b/source/luametatex/source/tex/texprinting.h index 745b8eeb0..cfa50fbf5 100644 --- a/source/luametatex/source/tex/texprinting.h +++ b/source/luametatex/source/tex/texprinting.h @@ -69,6 +69,7 @@ extern void tex_print_cs (halfword p); / extern void tex_print_cs_name (halfword p); /*tex Only prints known ones. */ extern void tex_print_str (const char *s); extern void tex_print_str_esc (const char *s); +extern void tex_print_posit (halfword d); extern void tex_print_dimension (scaled d, int unit); /*tex prints a dimension with pt */ extern void tex_print_sparse_dimension (scaled d, int unit); /*tex prints a dimension with pt */ extern void tex_print_unit (int unit); /*tex prints a glue component */ |