Specialize NameMap::visit_children for ordered_map so that order is …#14

Merged

ChrisDodd merged 1 commit intomasterfrom cdodd

Apr 19, 2016

+92-8

Commits on Apr 19, 2016

Specialize NameMap::visit_children for ordered_map so that order is preserved when nodes change names or split or whatever.
Chris Dodd
committed