summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/parser.c
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2015-02-24 10:59:18 +0000
committerkrasimir <krasimir@chalmers.se>2015-02-24 10:59:18 +0000
commit715ac1ca6242f912f348b3d5c45d7dca295a8da2 (patch)
tree57b8fbc343c96bf1c58c11a8ebe10a18bbd97575 /src/runtime/c/pgf/parser.c
parentda11a7127f5e635a5c38b10d07a6070c88032a56 (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.c17
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();
}