Rename ubiquitous_tokens -> extra_tokens in compiler API

They were already called this in the runtime code.
'Extra' is just easier to say.
This commit is contained in:
Max Brunsfeld 2015-12-17 15:50:48 -08:00
parent f065eb0480
commit 1c6ad5f7e4
22 changed files with 51 additions and 51 deletions

View file

@ -172,7 +172,7 @@ class CCodeGenerator {
add(", ");
if (syntax_grammar.ubiquitous_tokens.count(symbol))
if (syntax_grammar.extra_tokens.count(symbol))
add(".extra = true");
else
add(".extra = false");