diff options
author | Austin Clements <amdragon@MIT.EDU> | 2013-10-24 11:19:01 -0400 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2013-11-08 20:13:47 -0400 |
commit | ec630c663597cc3d6f4f98f9ec4ec17a6c7b5bbc (patch) | |
tree | b5960bbf5eb631c4a11918761817b2fb4f0dbdd6 /sprinter.h | |
parent | 85e95c0844849773a5403b884bca4a52b3bb4fa0 (diff) |
schemata: Disambiguate non-terminal names
Previously, the show schema and the search schema used different
"thread" non-terminals. While these schemata don't interact, this is
still confusing, so rename search's "thread" to "thread_summary". To
further limit confusion, prefix all top-level search non-terminals now
begin with "search_".
Diffstat (limited to 'sprinter.h')
0 files changed, 0 insertions, 0 deletions