diff options
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 71ccda1f4..b0822e577 100644 --- a/src/runtime/c/pgf/printer.c +++ b/src/runtime/c/pgf/printer.c @@ -258,6 +258,10 @@ pgf_print_symbol(PgfSymbol sym, GuWriter *wtr, GuExn *err) gu_printf(wtr, err, "<%d,$%d>", svar->d, svar->r); break; } + case PGF_SYMBOL_NE: { + gu_puts("nonExist", wtr, err); + break; + } default: gu_impossible(); } |