Merge pull request #564 from dyninst/patch_cfg
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Sun, 12 May 2019 02:18:47 +0000 (21:18 -0500)
committerGitHub <noreply@github.com>
Sun, 12 May 2019 02:18:47 +0000 (21:18 -0500)
commit1e1b18e93a75e4f0a9ebcbcf1eae9fca8c545733
tree14f6bdcfad4d0fbcf484eedfa5798be2c63a06a1
parent9486c91ae71643196b1f832b8b3cdc5d52c9ee91
parent1885be2eb3a95d7342ec78f5de5a56e8a6b1d01e
Merge pull request #564 from dyninst/patch_cfg

Fix bad interactions between patchAPI and parseAPI