diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-12 09:54:57 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-12 09:54:57 +0000 |
| commit | 0095119ec09b394332a23ab7cc16c0009c3f162a (patch) | |
| tree | c2c19ef36c3c04ae608ae93a9131ee1e71957c98 /src/runtime/c/pgf/printer.c | |
| parent | b111b476a75577a5b21d1d498975cbb2eeed9324 (diff) | |
added Predef.SOFT_BIND. This special token allows zero or more spaces between ordinary tokens. It is also used in the English RGL to attach the commas to the previous word.
Diffstat (limited to 'src/runtime/c/pgf/printer.c')
| -rw-r--r-- | src/runtime/c/pgf/printer.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/printer.c b/src/runtime/c/pgf/printer.c index 78c2b74db..8b737266e 100644 --- a/src/runtime/c/pgf/printer.c +++ b/src/runtime/c/pgf/printer.c @@ -280,6 +280,10 @@ pgf_print_symbol(PgfSymbol sym, GuOut *out, GuExn *err) gu_puts("BIND", out, err); break; } + case PGF_SYMBOL_SOFT_BIND: { + gu_puts("SOFT_BIND", out, err); + break; + } default: gu_impossible(); } |