diff options
Diffstat (limited to 'src/runtime/c/pgf/printer.c')
| -rw-r--r-- | src/runtime/c/pgf/printer.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/printer.c b/src/runtime/c/pgf/printer.c index e3e014c4b..6b82986f3 100644 --- a/src/runtime/c/pgf/printer.c +++ b/src/runtime/c/pgf/printer.c @@ -276,10 +276,18 @@ pgf_print_symbol(PgfSymbol sym, GuOut *out, GuExn *err) gu_puts("SOFT_BIND", out, err); break; } + case PGF_SYMBOL_SOFT_SPACE: { + gu_puts("SOFT_SPACE", out, err); + break; + } case PGF_SYMBOL_CAPIT: { gu_puts("CAPIT", out, err); break; } + case PGF_SYMBOL_ALL_CAPIT: { + gu_puts("ALL_CAPIT", out, err); + break; + } default: gu_impossible(); } |