mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-04 08:42:50 -06:00
drop the symbol_meta method
This commit is contained in:
@@ -740,8 +740,3 @@ void PgfLinearizationOutput::symbol_bind()
|
||||
{
|
||||
bind = true;
|
||||
}
|
||||
|
||||
void PgfLinearizationOutput::symbol_meta(PgfMetaId id)
|
||||
{
|
||||
printer.nprintf(32, "?%d", id);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user