diff options
| author | krasimir <krasimir@chalmers.se> | 2015-02-24 10:59:18 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-02-24 10:59:18 +0000 |
| commit | 715ac1ca6242f912f348b3d5c45d7dca295a8da2 (patch) | |
| tree | 57b8fbc343c96bf1c58c11a8ebe10a18bbd97575 /src/runtime/c/pgf/parser.c | |
| parent | da11a7127f5e635a5c38b10d07a6070c88032a56 (diff) | |
remove three more uses of meta productions that were left in debugging mode
Diffstat (limited to 'src/runtime/c/pgf/parser.c')
| -rw-r--r-- | src/runtime/c/pgf/parser.c | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/runtime/c/pgf/parser.c b/src/runtime/c/pgf/parser.c index 74c274ec5..88b001272 100644 --- a/src/runtime/c/pgf/parser.c +++ b/src/runtime/c/pgf/parser.c @@ -270,10 +270,6 @@ pgf_item_symbols(PgfItem* item, } break; } - case PGF_PRODUCTION_META: { - *syms = pgf_extern_syms_get(item, pool); - break; - } default: gu_impossible(); } @@ -333,13 +329,6 @@ pgf_print_production(int fid, PgfProduction prod, gu_printf(out,err,")[]\n"); break; } - case PGF_PRODUCTION_META: { - PgfProductionMeta* pmeta = i.data; - gu_printf(out,err,"<meta>["); - pgf_print_production_args(pmeta->args,out,err); - gu_printf(out,err,"]\n"); - break; - } default: gu_impossible(); } @@ -416,12 +405,6 @@ pgf_print_item(PgfItem* item, PgfParseState* state, GuOut* out, GuExn* err, GuPo gu_printf(out, err, "]; "); break; } - case PGF_PRODUCTION_META: { - gu_printf(out, err, "<meta>["); - pgf_print_production_args(item->args, out, err); - gu_printf(out, err, "]; "); - break; - } default: gu_impossible(); } |
