tree 428b809114a7c7460c90f652b025bfbeff187a04
parent d838595aa1ad003f9606daee82d8e1e7bc29bc90
author Ivan Frade <ifrade@google.com> 1559895275 +0200
committer David Pursehouse <dpursehouse@collab.net> 1559967814 +0900

VisibilityChecker: Make topoSort member final

Spotted by automated checkers.

Change-Id: I226a0a3efb8f527e5bde122e3f553039218d3418