tree 1b2a18a2a4a68acfa5f8fb317dc3372e9f75a780
parent 4408dfd0fc0e05c9b860957f92d6b13d27e6d9f2
author Gilles Peskine <Gilles.Peskine@arm.com> 1574353021 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1574693044 +0100

Move the type_word->name_set mapping into its own method

No behavior change.