tree e56d7ec14c5a6fcd91ae5692b6d8a10045d975ff
parent 7f35843d583d831ac051102857128e0b4fdac179
author Junxiao Shi <git@mail1.yoursunny.com> 1471000748 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1471000748 +0000

table: delete unnecessary name_tree::Iterator destructor

refs #3687

Change-Id: Iccb755c0b1234d31bea84797db348fd229b2fde9