Avoid double-copy of NameMapper object.
authorDavid Neto <dneto@google.com>
Thu, 11 Aug 2016 16:11:36 +0000 (12:11 -0400)
committerDavid Neto <dneto@google.com>
Thu, 11 Aug 2016 16:11:36 +0000 (12:11 -0400)
commit892239b7ccfec1774f3d81cc385c06f72aae1c78
tree4ed9a9124b68c27c9ed75dafda846c1e8c80999e
parent8a5ce18f12dc8c222d69f46af439a932fce305e7
Avoid double-copy of NameMapper object.
tools/cfg/bin_to_dot.cpp