tree 5889323e7c538b5ab6a7f08df177b1c6a91ae3db
parent 2f09d59456f1f9152ec6e6360d4b068d486e236e
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1499100313 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1502183210 +0200

Remove duplicate parent-searching in verify_top()